6 results found Sort:

TomHarte
CLK TomHarte
52
956
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,898 commits to master branch, last one 14 days ago
GeoCoq
GeoCoq GeoCoq
26
186
lgpl-3.0
16
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 6 months ago
geraldholdsworth
DiscImageManager geraldholdsworth
8
83
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
282 commits to main branch, last one about a month ago
markmoxon
lander-source-code-acorn-archimedes markmoxon
5
78
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
215 commits to main branch, last one 2 days ago
Ebenezer-group
onwards Ebenezer-group
5
70
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,195 commits to master branch, last one 8 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