A Lean formalization of the Classification of Finite Simple Groups
Repository Index
59,621 visible repositories in the index
49–72 of 95 · Most stars
Get inside your JVM
- jvm
- java
- monitoring
- repl
PHP Iteration Tools Library
- php-library
- php
- iterator
- iterable
A library that simplifies error handling for Functional Programming in Java
- java
- functional-programming
- exception-handling
- error-handling
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform
Write LÖVE 2D projects with TypeScript
- love2d
- typescript
- typescript-declaration
- lua
Library for lexing and parsing D source code
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
- coq-library
- real-number
- coq
- coq-ci
😴 Functional programming with lazy immutable iterables
- iterables
- functional-programming
- iterator
- haskell
A handy calculator, based on Rust and WebAssembly.
- webassembly
- calculator
- math
- rust
TypeScript Iteration Tools Library
- fluentinterface
- generator
- infinite-iteration
- iterable
Unit tests generator for Go programming language
- go
- golang
- unit-testing
- generator
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
- coq
- refinement
- mathcomp
- coq-platform
Gowl is a process management and process monitoring tool at once. An infinite worker pool gives you the ability to control the pool and processes and monitor their status.
- golang
- go
- pooling
- pool
Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.
- community-driven
- manifesto
- coq
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
- coq
- theorems
OCaml bindings to MariaDB, supporting the nonblocking API
Self-contained OCaml bindings to linenoise, easy high level readline functionality in OCaml
- ocaml
- linenoise
- readline
- standalone
Generate Yew components from React components via Typescript type definitions
- yew
- proc-macro
- react
- typescript
Finite sets, finite maps, multisets and generic sets
- coq
- ssreflect
- mathcomp
- finite-sets
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect
Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action