A latency-hating emulator of: the Acorn Electron and Archimedes, Amstrad...
A formalization of geometry in Coq based on Tarski's axiom system
C++ messaging and serialization library
To manage retro floppy disc images
Archimedes's implementation for JavaScript and TypeScript