archimedes topic
List
archimedes repositories
CLK
900
Stars
50
Forks
Watchers
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
175
Stars
26
Forks
Watchers
A formalization of geometry in Coq based on Tarski's axiom system
onwards
60
Stars
4
Forks
Watchers
C++ messaging and serialization library
archimedes-js
37
Stars
3
Forks
Watchers
Archimedes's implementation for JavaScript and TypeScript
DiscImageManager
64
Stars
7
Forks
Watchers
To manage retro floppy disc images
archimedes-docs
16
Stars
1
Forks
Watchers
Give me a place to stand, and I shall move the earth.
Polyhedra
15
Stars
7
Forks
Watchers
Blender addon to generate mesh for any Archimedean polyhedra and any of regular star polyhedra of Kepler–Poinsot.
archimedes-lander
50
Stars
2
Forks
Watchers
Fully documented and annotated source code for Lander on the Acorn Archimedes