yomimono

littlefs

A little fail-safe filesystem designed for microcontrollers

dsq

Commandline tool for running SQL queries against JSON, CSV, Excel, Parquet, and more.

cli-guidelines

A guide to help you write better command-line programs, taking traditional UNIX principles and updating them for the modern day.

llsoftsecbook

Low-Level Software Security for Compiler Developers

alcotest

A lightweight and colourful test framework

cmdliner

Declarative definition of command line interfaces for OCaml

terminalvideoplayer

ocaml5-tutorial

A hands-on tutorial on the new parallelism features in OCaml 5

Pants

A video filter to add pants or blur out your lower half on Zoom calls when you forget to wear pants

hotcaml

Hotcaml: an interpreter with watching and reloading

progress

Progress bar library for OCaml

quBSD

A FreeBSD jails and bhyve wrapper; which emulates a Qubes-like containerization schema

miou

A simple scheduler for OCaml 5

sandmark

A benchmark suite for the OCaml compiler

hyper

OCaml Web client, composable with Dream [unannounced]

gilbraltar

MirageOS on RPi4

ocaml-matrix

Implementation of a matrix server in OCaml for MirageOS

affect

Composable concurrency primitives with OCaml effects handlers (unreleased)

bechamel

Agnostic benchmark in OCaml (proof-of-concept)

compact

Memory-efficient data structures in OCaml

daisy-nfsd

DaisyNFS is an NFS server verified using Dafny and Perennial.

multipart_form

According an other RFC2388...

carbon-intensity

An HTTP client for accessing various carbon intensity APIs

mirage-sshfs

notafs

Not a filesystem for Mirage block devices

ocaml-charset

Fast char sets

postgres-protocol

IO independent postgres protocol implementation

unikernels

MirageOS unikernels

ocaml-ogg

OCaml bindings to libogg.

paper-doll-designer

Choose clothes and accessories and decorate them with code!