A tiering proxy for S3 instances, moving objects around based on lifetimes rules. Developed for Garage.

🎶 LocalWave is a local-first MP3 player for iOS with full-text search, iCloud sync, and no subscriptions

Feather🪶: A Rust web framework that does not use async

A virtual environment runtime for the web, inspired by Plan 9

The first ever roguelike written in the OCaml type system

An engine for displaying slips, the next-gen version of slides

a tool for reinterpreting ELF executables and shared libraries

A shared budget web application

A PPX deriver that automates differential testing for OCaml modules

A calendar aggregator and generator to make maintaining calendars on static websites easier.

Formal Semantics for Why3

Sculpted and curved keycaps for Kailh Choc and MX switches

Not a filesystem for Mirage block devices

IO should be just a library

Fun, portable, minimalistic virtual machine.

OhtML (pronounced Oatmeal) is an OCaml and htmx project

A GUI for tagging and managing document metadata for books, textbooks, or articles.

The caml walks, OCaml runs

A unikernel as an IRC client

TUI multiline fuzzy document finder

TeXpresso: live rendering and error reporting for LaTeX

Documentation of the OCaml implementation

Interactive breakpoints!

Creusot helps you prove your Rust code is correct.

Build Mirage unikernels with Nix

Draw pretty maps from OpenStreetMap data! Built with osmnx +matplotlib + shapely

A peer-to-peer file-transfer tool in OCaml

Purely functional GUI algebra

A utility to test Open Sound Control sending and receiving from the browser