Lists (4)
Starred repositories
4
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…
Implementations of various type systems in OCaml.
Concurrent Programming with Effect Handlers
Experimental ReasonML implementation of rts game