Starred repositories
8
results
for source starred repositories
written in OCaml
Clear filter
Adds static typing to JavaScript to improve developer productivity and code quality.
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
MirageOS is a library operating system that constructs unikernels
Irmin is a distributed database that follows the same design principles as Git
GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.