Starred repositories
4
results
for source starred repositories
written in OCaml
Clear filter
Adds static typing to JavaScript to improve developer productivity and code quality.
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…
The classic fizzbuzz challenge implemented in ReasonML