47,133 repositories indexed
1–4 of 4 · Most stars
The Rocq Prover is an interactive theorem prover, or proof assistant. 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.
Irmin is a distributed database that follows the same design principles as Git
Tool to convert OASIS metadata to OPAM package descriptions
OCaml library designed to streamline the process of validating records, variants, lists, or values. It primarily operates through a PPX deriver that automatically generates validators.