Lists (3)
Stars
10
stars
written in OCaml
Clear filter
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
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 mixture of tooling combined to produce JavaScript from OCaml & Reason
An HTTP/2 implementation written in pure OCaml
A proof assistant for higher-dimensional type theory
OSnap is a snapshot testing tool, which mainly focuses on speed and ease of use.
Less redundancy in type declarations and signatures