mmcqd / pure
A pure type system implemented in OCaml
See what the GitHub community is most excited about today.
A pure type system implemented in OCaml
The core OCaml system: compilers, runtime system, base libraries
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
Adds static typing to JavaScript to improve developer productivity and code quality.
A static analyzer for Java, C, C++, and Objective-C
An ergonomic, cross-platform, standard library for ReasonML and OCaml