OCaml is a general purpose industrial-strength programming language with an emphasis on expressiveness and safety, It is supporting functional, imperative and object-oriented styles.

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

• UpdatedDec 13, 2025
• TeX

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

• UpdatedDec 15, 2025
• OCaml

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

• UpdatedFeb 28, 2024
• Go

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

• UpdatedFeb 13, 2022
• Reason

Native, lightweight modal code editor

• UpdatedAug 17, 2022
• Reason

Performant type-checking for python.

• UpdatedDec 16, 2025
• OCaml

The core OCaml system: compilers, runtime system, base libraries

• UpdatedDec 16, 2025
• OCaml

FUSE filesystem over Google Drive

• UpdatedOct 26, 2025
• OCaml

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

• UpdatedDec 8, 2025
• Rust

Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.

• UpdatedOct 1, 2024
• HTML

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

• UpdatedNov 5, 2025

A Proof-oriented Programming Language

• UpdatedDec 17, 2025
• F*

MirageOS is a library operating system that constructs unikernels

• UpdatedNov 24, 2025
• OCaml

Binary Analysis Platform

• UpdatedApr 30, 2025
• OCaml

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

• UpdatedDec 17, 2025
• OCaml

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

• UpdatedDec 11, 2025
• OCaml

A composable build system for OCaml.

• UpdatedDec 16, 2025
• OCaml

Tidy, feature-complete Web framework

• UpdatedOct 14, 2025
• OCaml

Context sensitive completion for OCaml in Vim and Emacs

• UpdatedDec 15, 2025
• OCaml

Nodebook - Multi-Lang Web REPL + CLI Code runner

• UpdatedMay 15, 2024
• Go