Lists (1)
Starred repositories
13
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…
magic-trace collects and displays high-resolution traces of what a process is doing
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
EasyCrypt: Computer-Aided Cryptographic Proofs
Bamboo see https://github.com/cornellblockchain/bamboo
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.
Experiments with Universal Composability in EasyCrypt
An implementation of the Noise Protocol, intended to be used as the base for a Wireguard implementation in OCaml.
Some simple exercises for getting up and running with OCaml, Dune, Core and Async