Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and ...
Simple, fast & type safe code that leverages the JavaScript & OCaml ecos...
Cool open source projects. Choose your project and get involved in Open ...
:zap: Native, high-performance, cross-platform desktop apps - built with...
Native, lightweight modal code editor
Performant type-checking for python.
FUSE filesystem over Google Drive
The core OCaml system: compilers, runtime system, base libraries
Klipse is a JavaScript plugin for embedding interactive code snippets in...
A curated collection of awesome OCaml tools, frameworks, libraries and a...
A Proof-oriented Programming Language
MirageOS is a library operating system that constructs unikernels
The Universal Plug-in System. Extend anything with WebAssembly (wasm).
Binary Analysis Platform
Mina is a cryptocurrency protocol with a constant size blockchain, impro...