Starred repositories
5
stars
written in OCaml
Clear filter
The core OCaml system: compilers, runtime system, base libraries
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson
OCamlPro public development repository for Alt-Ergo