Performant type-checking for python.

FUSE filesystem over Google Drive

magic-trace collects and displays high-resolution traces of what a process is doing

A library for incremental computations

Concurrent Programming with Effect Handlers

OCaml DSL for verifiable computation

TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.

A compiler for a tiny (but growing!) subset of C, written in OCaml.

This project aims at being able to export Kicad v5 Sch files to structured picture files

Caribou leverages Notty to generate simple terminal user interfaces.

A small CLI to launch notifications at a given time