47,133 repositories indexed
1–9 of 9 · 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.
Formal verification for OCaml, with Rocq
An SMT solver frontend for OCaml
Easy to use Makefile for small to medium-sized OCaml-projects
A friendly and minimalist link sharing website
A dumb OCaml logger
Minimalist OCaml library for command line parsing
Unicode text normalization for OCaml
Minimalistic monad syntax for OCaml.