Paste-eur as unikernel

A TCP/IP implementation in pure OCaml

Slugline is a very small (and portable) slugifier implementation

Lunar is a very small (and portable) date management library

An abstract implementation of file paths

CakeML: A Verified Implementation of ML

Language server and VS Code extension for Menhir and Ocamllex

A minimal toolkit for everyday OCaml programs

A set of data models that can be used with YOCaml to build rich pages

Tools for processing cooking recipes

A simple unikernel which provides a search engine from an emails archive

A BDD library with theory support

The HOL Light theorem prover

Functional kernel written in OCaml.

Primavera is a dependency injection library for OCaml

A simple HTTP server for OCaml 5

A simple unikernel to serve files via HTTP in full OCaml

A website for YOCaml (using, obviously, YOCaml)

OCaml Language Server Protocol implementation

A tool for managing inline review comments embedded in source code

Playing with ocsigen

A prototype to write blog posts with executable ocaml code blocks

A static site generator 👑 The still scrolls of the web, unchanging and steadfast, at last!

An example atproto application using ExpressJS and Typescript.

A synthetic library for bigstrings

6502 chip simulator in OCaml

NES emulator in OCaml