6 results found Sort:

52
945
mit
34
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 ...
Created 2015-07-16
11,823 commits to master branch, last one 18 days ago
26
186
lgpl-3.0
16
A formalization of geometry in Coq based on Tarski's axiom system
Created 2015-07-15
172 commits to master branch, last one 5 months ago
To manage retro floppy disc images
Created 2020-12-08
277 commits to main branch, last one 2 months ago
Fully documented and annotated source code for Lander on the Acorn Archimedes
Created 2023-09-16
213 commits to main branch, last one 14 days ago
Archimedes's implementation for JavaScript and TypeScript
Created 2021-02-09
346 commits to main branch, last one about a year ago