coq / coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
See what the GitHub community is most excited about today.
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Virt-v2v converts guests from foreign hypervisors to run on KVM
A composable build system for OCaml.
Unison file synchronizer
OCaml Language Server Protocol implementation
Irmin is a distributed database that follows the same design principles as Git
FUSE filesystem over Google Drive
A lightweight and colourful test framework
Effects-based direct-style IO for multicore OCaml
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
The core OCaml system: compilers, runtime system, base libraries