An OCaml implementation of glob(3)

leaderless gossip-based service discovery w/ consul compatibility

Monorepo for Tangled

archived: streaming RAR extractor

Non-interactive hunk-level operations for Jujutsu. Scriptable alternative to jj split's interactive mode.

A ray tracer in Coalton

Build and run CI pipelines anywhere, consistently.

Personal Data Server (PDS) built with Elixir

Connects Rex clients and servers transparently via iroh.

The Island of TeX's official website

Verified pixel compiler for TempleOS in Isabelle/HOL

SMT x86_64 TSO model checking and minimum fence synthesis

seL4 pager with proven memory isolation and frame reuse

Verified branch relaxing assembler in Isabelle/HOL with provably minimal bytecode layouts

OCaml tooling for tracing Xen guest address translation