An OCaml generic virtual machine for microcontrollers

Fastest RPC in the west

GUI library for ocaml based on SDL2

A textual inspector for OCaml runtime values

Experimental "docker build" alternative using btrfs/zfs snapshots

Effects-based direct-style IO for multicore OCaml

ANSI escape sequence parser

Pure C math library for 2D and 3D programming

WIP: delay-tolerant networking messenger

Syndie GUI frontend for syndie-core

showlinenum.awk - show line numbers for git diff

The No-Order File System (NoFS)

Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)

Qubes OS network & RPC graphs

Jon Bentley's DFORMAT troff preprocessor, reconstituted.

Audio fingerprinting and recognition in Python

OpenZFS on disk format specification

A functional programming language with static memory management

Code generator for binary parsing

Cryptographic Addition Chain Generation in Go

Scalene: a high-performance, high-precision CPU, GPU, and memory profiler for Python with AI-powered optimization proposals

A brief computer graphics / rendering course

⚡ KCP - A Fast and Reliable ARQ Protocol

Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!

Distributed Crawler Management Framework Based on Scrapy, Scrapyd, Django and Vue.js

A streaming parser and writer for EXIF metadata, in pure OCaml

Meta-preprocessor for OCaml

Constraint solver based on abstract interpretation

An analysis tool for Python that blurs the line between testing and type systems.