A library for building dynamic webapps, using Js_of_ocaml

QuickCheck inspired property-based testing for OCaml.

Coq to Rust program extraction. The whole tree is on the original Coq code base.

Jane Street Capital's asynchronous execution library

GUI library for ocaml based on SDL2

A Protobuf Compiler for OCaml

OCaml bindings for the Neovim API

Monadic let-bindings

Erlang style process/actor model library in OCaml

OCaml support for Tiled editor files (https://www.mapeditor.org/)

Sample project to demonstrate how to use the VS Code API with OCaml