Projects

• Theseus

  A small Go file server organized around stable URLs and backend-independent storage.

• LEG-16

  A 16-bit CPU built in Turing Complete from NAND-level components, with assembly tooling and compact circuit designs.

• float-cohorts

  A Rocq library for reasoning about floating-point representations through exact cohorts rather than machine formats directly.