47,133 repositories indexed
1–7 of 7 · 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
Simple hash algorithms in OCaml
An enhanced unification algorithm for Coq
Data structures and algorithms in OCaml
Library of Raft consensus algorithm implemented in OCaml
A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort. :four_leaf_clover: :camel: :lock: :key: