6 results found Sort:
- Filter by Primary Language:
- C++ (2)
- Coq (1)
- Pascal (1)
- Python (1)
- TypeScript (1)
- +
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 about a month ago
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
282 commits to main branch, last one 12 days ago
Fully documented and annotated source code for Lander on the Acorn Archimedes
Created
2023-09-16
213 commits to main branch, last one about a month ago
C++ messaging and serialization library
Created
2016-12-26
1,192 commits to master branch, last one 7 days ago
Archimedes's implementation for JavaScript and TypeScript
Created
2021-02-09
346 commits to main branch, last one about a year ago