Performant type-checking for python.

Tidy, feature-complete Web framework

Context sensitive completion for OCaml in Vim and Emacs

A statically-typed, functional typesetting system

🍬 a functional language for building type-safe, scalable, and maintainable applications

Compiler from OCaml to Javascript.

Hardcaml is an OCaml library for designing hardware.

Sinatra like web toolkit for OCaml

Multicore OCaml

Concurrent Programming with Effect Handlers

An actor-model multi-core scheduler for OCaml 5 🐫

GraphQL servers in OCaml

moved from https://sourceforge.net/p/min-caml/code/

Type-driven code generation for OCaml

a little game

Examples to illustrate the use of algebraic effects in Multicore OCaml

QuickCheck inspired property-based testing for OCaml.

Low-level JSON parsing and pretty-printing library for OCaml

Modern scientific computing for OCaml

cross-platform multi-network p2p daemon (previously at http://mldonkey.sourceforge.net/)

An OCaml kernel for Jupyter (IPython) notebook

Base library and tools for ppx rewriters

Property fuzzing for OCaml

a book about ocaml

Websocket library for OCaml

An OCaml generic virtual machine for microcontrollers

Stream Processing with OCaml

OCaml template engine almost compatible with jinja2

OCaml .mlx syntax dialect with JSX syntax expressions