OCaml PPX deriver that generates converters between regular or polymorphic variants and strings

An opiniated file-system for MirageOS

A fun little TUI framework for OCaml

A tool-agnostic formal specification language for OCaml.

Runtime assertion checking based on Gospel specifications

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

A simple BDD library for OCaml

Allow guest VMs to open windows on the host

build-once run-anywhere OCaml programs

OCaml debug adapter

The HOL Light theorem prover

Parallel Programming over Domains

OCaml ppx to include binary data from a file as a string

JSON RPC 2.0 for OCaml

WIP stack language that uses regex for control flow

An SMT solver frontend for OCaml

GUI library for ocaml based on SDL2

The Flambda backend project for OCaml

A garden of small programming language implementations 🪴

Lightweight document

Memory sharing analyser for Rocq (Coq)

A simple cache system for mmap in OCaml

Generate OCaml types from raw data

A Boulder Dash clone in OCaml

Parser combinators built for speed and memory efficiency

experiments on distributed unikernels

A library for building dynamic webapps, using Js_of_ocaml

Typed Datalog

nano IO event loop

A library for incremental computations