SheepShaver, a PowerPC emulator capable of running Mac OS 7.5.2 through 9.0.4
☆32Feb 2, 2015Updated 11 years ago
Alternatives and similar repositories for sheepshaver
Users that are interested in sheepshaver are comparing it to the libraries listed below
Sorting:
- Build a Mac OS ROM file for your NewWorld Mac's System Folder☆16Aug 2, 2018Updated 7 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- ☆12Jul 8, 2019Updated 6 years ago
- An Agda formalisation of the theory of directed containers☆12Apr 25, 2025Updated 10 months ago
- old-school Macintosh Emulator☆18Jul 3, 2018Updated 7 years ago
- Use https://github.com/elliotnunn/tbxi instead!☆31Jun 2, 2023Updated 2 years ago
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago
- Emulated MPW = Mini vMac + Macintosh Programmer's Workshop + glue☆19Apr 11, 2023Updated 2 years ago
- *Lisp simulator☆28Oct 11, 2013Updated 12 years ago
- Tools for working with SDATs and NCSFs☆17Oct 31, 2025Updated 4 months ago
- ☆11Aug 16, 2016Updated 9 years ago
- Mechanization of Hazelnut, as submitted to POPL 2017☆16Nov 24, 2021Updated 4 years ago
- Squeeze a Toolbox ROM until the secrets come out☆25Mar 31, 2022Updated 3 years ago
- A Dependently Typed Programming Language☆26Jul 24, 2020Updated 5 years ago
- PSeudo - The world's simplest PLAYSTATION emulator☆53Aug 7, 2023Updated 2 years ago
- An haskell TrueType file parser☆38Mar 31, 2023Updated 2 years ago
- A shell for those that prefer Macintosh Programmer's Workshop.☆28Feb 2, 2025Updated last year
- Mouse integration: QEMU host and Mac OS 9 guest☆34Jun 20, 2022Updated 3 years ago
- The original Edinburgh LCF.☆34Oct 21, 2016Updated 9 years ago
- An implementation of Functional Reactive Programming☆41Mar 2, 2015Updated 11 years ago
- Issues and feature requests for vgmdb.net☆12Nov 17, 2020Updated 5 years ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Dec 18, 2025Updated 2 months ago
- Mtac in Agda☆29May 4, 2021Updated 4 years ago
- Morte IDE☆29Apr 3, 2025Updated 11 months ago
- multi-channel loopable video game music player for nerds and audiophiles☆40Jan 11, 2026Updated last month
- Issue tracking for the emu.tools site☆13Apr 30, 2020Updated 5 years ago
- YUP is a proof checker that performs automatic checking of simple program-correctness proofs of functional programs through inductive and…☆36Feb 14, 2023Updated 3 years ago
- Be API implementation for Linux kernel and Android binder☆11Sep 19, 2023Updated 2 years ago
- ☆11Aug 11, 2015Updated 10 years ago
- Cryptographic Constructions in the Type Theory of Agda☆52Aug 8, 2015Updated 10 years ago
- ☆39Sep 7, 2021Updated 4 years ago
- Use https://github.com/elliotnunn/tbxi instead!☆36Jun 2, 2023Updated 2 years ago
- Merge sort correctness proof☆11May 21, 2015Updated 10 years ago
- Programmatically rotate a google.maps.Polygon around an angle or its center using Google Maps V3☆15Nov 7, 2018Updated 7 years ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- An OpenAL debugging tool.☆10Aug 31, 2021Updated 4 years ago
- A plugin to use the Mac's text to speech from Sublime Text 2.☆11Feb 18, 2016Updated 10 years ago
- CLI for Microsoft Windows patches (wsusscn2.cab) API☆13Oct 12, 2018Updated 7 years ago
- Utilities to gather software metrics from tools (SONAR, etc) and store them into ElasticSearch for later display using Kibana.☆11Dec 31, 2017Updated 8 years ago