An 8-bit Z80 computer kit in a box
☆57Feb 3, 2026Updated 3 weeks ago
Alternatives and similar repositories for MicroBeast
Users that are interested in MicroBeast are comparing it to the libraries listed below
Sorting:
- Forth system for M68K machines, origin: http://hardcode.de/us/index.html☆21Jul 22, 2019Updated 6 years ago
- MicroBeast Z80 Computer emulator☆27Feb 10, 2026Updated 2 weeks ago
- Bootloader for Zeal 8-bit Computer☆30Jul 27, 2025Updated 7 months ago
- A CP/M-ready, Z280-based SBC for RC2014 bus☆15Oct 30, 2018Updated 7 years ago
- Category Theory in Programming☆13Jan 22, 2026Updated last month
- ☆12Jun 13, 2023Updated 2 years ago
- AgonLight OSHW Retro Z80 computer - updated version with few updates☆97Apr 14, 2025Updated 10 months ago
- Schematic and CAD files for my 68K based computer☆27Oct 1, 2025Updated 4 months ago
- Experiments with Realizability in Univalent Type Theory☆19Oct 21, 2024Updated last year
- Somewhat hacky PC (XT) emulator that can run on a PicoVision☆27Nov 1, 2025Updated 3 months ago
- Emulator for the agon light 8-bit computer☆41Sep 18, 2023Updated 2 years ago
- A Z80 homebrew development board for experimentation☆19Feb 21, 2026Updated last week
- Development environment for Z80-based computers.☆34Aug 1, 2022Updated 3 years ago
- A minimal interpreter in Z80 assembly for the RC2014 Micro☆33Dec 31, 2021Updated 4 years ago
- CP/M, tools & games for RC2014☆33Jun 14, 2025Updated 8 months ago
- #PICOmputer - World first Raspberry RP2040 PICO - QWERTY & IPS devkit☆95Nov 6, 2021Updated 4 years ago
- Z80/Z180/Z280 Macro Assembler for CP/M, UZI180 and RSX180☆48Apr 7, 2024Updated last year
- uTerm (a VT100-like terminal for the Z80-MBC2)☆22Nov 8, 2021Updated 4 years ago
- System Software for Z80/Z180/Z280 Computers☆402Feb 22, 2026Updated last week
- An 'improved' version of the TEC-1 made for Kitsrus in the early 90's☆39Nov 26, 2025Updated 3 months ago
- Official AGON QUARK Firmware Documentation☆61Oct 16, 2023Updated 2 years ago
- Legacy: Full TTL-only home computer with VGA and PS/2 and twice the processing power of a Commodore 64☆87Dec 30, 2025Updated 2 months ago
- Bootable stuff for PowerPC-based macs + some primitives to interact with OpenFirmware☆19Jul 9, 2025Updated 7 months ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Aug 7, 2012Updated 13 years ago
- A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.☆23Jan 28, 2026Updated last month
- Official RC2014 repository for hardware schematics / software and more!☆350Dec 12, 2025Updated 2 months ago
- Development ressources for Old World Macintosh (68k and NuBus PPC) and a few related things…☆25Sep 24, 2025Updated 5 months ago
- ☆22Nov 19, 2024Updated last year
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- Altair8800_Mister☆13Dec 9, 2025Updated 2 months ago
- Z80 Single Board Computer☆123Aug 11, 2022Updated 3 years ago
- Second version of Pocket65 - 6502 based handheld computer☆47Sep 17, 2023Updated 2 years ago
- Add-on Screen and Battery turns your Apple IIc into a portable computer☆26Jul 26, 2023Updated 2 years ago
- A tiny game console for education☆24Feb 15, 2026Updated last week
- Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …☆11Sep 21, 2021Updated 4 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- https://github.com/lynnpepin/reso made in rust☆15Feb 23, 2022Updated 4 years ago
- A commodity patched kernel and distribution of CP/M-86 1.1 that makes it a tiny bit more usable for retro computing☆17Jan 21, 2026Updated last month