6 results found Sort:

TomHarte
CLK TomHarte
52
930
mit
33
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 ...
msx m68k oric zx80 zx81 ibmpc vic20 apple2 riscos appleii atari-st emulator atari2600 archimedes amstrad-cpc zx-spectrum colecovision master-system acorn-electron composite-video
Created 2015-07-16
11,775 commits to master branch, last one 6 days ago
GeoCoq
GeoCoq GeoCoq
26
180
lgpl-3.0
17
A formalization of geometry in Coq based on Tarski's axiom system
coq euclid pappus elements geometry desargues archimedes continuity tarski-axiom formalization hilbert-axioms parallel-postulate
Created 2015-07-15
172 commits to master branch, last one 4 months ago
geraldholdsworth
DiscImageManager geraldholdsworth
8
75
gpl-3.0
6
To manage retro floppy disc images
bbc dfs adfs acorn amiga ms-dos riscpc amigaos bbc-micro commodore archimedes bbc-master commodore-64
Created 2020-12-08
277 commits to main branch, last one 21 days ago
markmoxon
archimedes-lander markmoxon
4
68
unknown
2
Fully documented and annotated source code for Lander on the Acorn Archimedes
arm acorn riscos risc-os acornsoft archimedes retrogaming retrocomputing
Created 2023-09-16
211 commits to main branch, last one 4 days ago
Ebenezer-group
onwards Ebenezer-group
5
64
other
8
C++ messaging and serialization library
cpp free saas israel organic cplusplus messaging protocols archimedes middleware client-server serialization code-generator cross-platform online-service command-line-tool distributed-systems network-programming three-tier-architecture
Created 2016-12-26
1,162 commits to master branch, last one 3 days ago
archimedes-projects
archimedes-js archimedes-projects
4
37
apache-2.0
6
Archimedes's implementation for JavaScript and TypeScript
ddd solid archimedes typescript architecture
Created 2021-02-09
346 commits to main branch, last one about a year ago