59,621 visible repositories in the index
1–22 of 22 · 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.
Universal toplevel for OCaml
A lightweight and colourful test framework
The Ott tool for writing definitions of programming languages and calculi
QuickCheck inspired property-based testing for OCaml.
GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.
Low-level JSON parsing and pretty-printing library for OCaml
Declarative definition of command line interfaces for OCaml
An OCaml lexer generator for Unicode
Terminal manipulation library for OCaml
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
Exercism exercises in OCaml.
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
Inline (Unit) Tests for OCaml
OCaml bindings to MariaDB, supporting the nonblocking API
Old Coq plugin for parametricity [maintainer=@ppedrot]
Extensible binary data format, like JSON but faster
Pretty-printing library for OCaml
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
Parser and printer for date-times in ISO8601
Test::Simple, for OCaml
Declarative terminal graphics for OCaml