archimedes topic
CLK
A latency-hating emulator of: the Acorn Electron and Archimedes, Amstrad CPC, Apple II/II+/IIe and early Macintosh, Atari 2600 and ST, ColecoVision, Enterprise 64/128, Commodore Vic-20 and Amiga, MSX...
GeoCoq
A formalization of geometry in Coq based on Tarski's axiom system
onwards
C++ messaging and serialization library
archimedes-js
Archimedes's implementation for JavaScript and TypeScript
DiscImageManager
To manage retro floppy disc images
archimedes-docs
Give me a place to stand, and I shall move the earth.
Polyhedra
Blender addon to generate mesh for any Archimedean polyhedra and any of regular star polyhedra of Kepler–Poinsot.
archimedes-lander
Fully documented and annotated source code for Lander on the Acorn Archimedes