47,133 repositories indexed
1–11 of 11 · 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.
Owl - OCaml Scientific Computing @ https://ocaml.xyz
OCaml bindings for PyTorch
A REST toolkit for OCaml
Elm architecture and (V)DOM for OCaml
An OCaml generic virtual machine for microcontrollers
Python bindings for the Coq interactive proof assistant
Path-based dispatching for client- and server-side applications.
OCaml bindings to PCRE (Perl Compatibility Regular Expressions)
OCaml pattern-matching extended with regexps (unmaintained)
OCaml library for forking child processes to perform work on multiple cores