Stars
10
stars
written in OCaml
Clear filter
Adds static typing to JavaScript to improve developer productivity and code quality.
Irmin is a distributed database that follows the same design principles as Git
Implementations of various type systems in OCaml.
The Opa Language for Web Application Development
Vult is a transcompiler well suited to write high-performance DSP code
SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
A DNS server that automatically starts unikernels on demand
An OCaml/Mirage-friendly implementation of the 9P protocol