Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

Cool open source projects. Choose your project and get involved in Open Source development now.

⚡ Native, high-performance, cross-platform desktop apps - built with Reason!

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 tech blogs.

The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

A Proof-oriented Programming Language

MirageOS is a library operating system that constructs unikernels

Binary Analysis Platform

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

Irmin is a distributed database that follows the same design principles as Git

Nodebook - Multi-Lang Web REPL + CLI Code runner

Context sensitive completion for OCaml in Vim and Emacs

Mirror of the release branches for Tezos, a self-amending cryptographic ledger

A composable build system for OCaml.