Stars
6
results
for source starred repositories
written in OCaml
Clear filter
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 environmen…
A language that compiles to Bash and Windows Batch
Irmin is a distributed database that follows the same design principles as Git
Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)
TLS tunnel -- an alternative to stud / stunnel