old-school Macintosh Emulator
☆18Jul 3, 2018Updated 7 years ago
Alternatives and similar repositories for executor
Users that are interested in executor are comparing it to the libraries listed below
Sorting:
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- An Agda formalisation of the theory of directed containers☆12Apr 25, 2025Updated 10 months ago
- ☆12Jul 8, 2019Updated 6 years ago
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago
- Port of mbedtls for 68k classic Macs. Build using Retro68.☆17May 4, 2018Updated 7 years ago
- *Lisp simulator☆28Oct 11, 2013Updated 12 years ago
- KSFL - Kreative Structured Format Library☆17Feb 21, 2023Updated 3 years ago
- C helper functions for MacTCP on 68k classic Macs. Build using Retro68.☆20May 4, 2018Updated 7 years ago
- Mechanization of Hazelnut, as submitted to POPL 2017☆16Nov 24, 2021Updated 4 years ago
- SheepShaver, a PowerPC emulator capable of running Mac OS 7.5.2 through 9.0.4☆32Feb 2, 2015Updated 11 years ago
- A Dependently Typed Programming Language☆26Jul 24, 2020Updated 5 years ago
- Converts an image to B&W QuickDraw PICT Format v1.0 (Mac OS System 1-6)☆21Jan 20, 2015Updated 11 years ago
- tries to emulate the command-line tools from MPW for classic PowerPC Macs☆54Mar 21, 2023Updated 2 years ago
- Various files☆27Dec 5, 2018Updated 7 years ago
- Transcription of the Pascal sample code chapter from 1985's Inside Macintosh Volume I. Confirmed to compile in Lisa Workshop. Workshop RS…☆30May 27, 2014Updated 11 years ago
- Portable binary diff/patch library based on the binary diff/patch utilities bsdiff/bspatch☆25Sep 22, 2024Updated last year
- An haskell TrueType file parser☆38Mar 31, 2023Updated 2 years ago
- Haskell implementation of the Edinburgh Logical Framework☆32Jan 12, 2026Updated last month
- being the introduction to co-de-Bruijn metasyntax☆23Apr 29, 2022Updated 3 years ago
- Allow Qt Creator to run on Windows 7☆35Feb 20, 2023Updated 3 years ago
- 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 10 years ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Dec 18, 2025Updated 2 months ago
- A tool for formally verifying Haskell code in Agda☆28Oct 25, 2016Updated 9 years ago
- Mtac in Agda☆29May 4, 2021Updated 4 years ago
- Morte IDE☆29Apr 3, 2025Updated 10 months ago
- Project exploring 3D volumetric rendering of NEXRAD radar data.☆11Oct 23, 2023Updated 2 years ago
- The project BUS (Bus Under Stop) aims to develop a set of app (Android, iOS, WEB) that bring facility to consult the bus stop time on sta…☆16Dec 13, 2014Updated 11 years ago
- Framework for Excel toolkits (add-ins) using VBA☆10May 17, 2019Updated 6 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
- ☆10Mar 10, 2023Updated 2 years ago
- old-school Macintosh Emulator☆282Feb 12, 2018Updated 8 years ago
- Cryptographic Constructions in the Type Theory of Agda☆52Aug 8, 2015Updated 10 years ago
- A modern fork of the classic Mac emulator☆161Dec 30, 2025Updated last month
- Merge sort correctness proof☆11May 21, 2015Updated 10 years ago
- Universal FL Studio Virtual Keyboard Emulator for all DAWs☆14Apr 1, 2023Updated 2 years ago
- Library for reading the Macintosh File System☆11May 7, 2016Updated 9 years ago
- A wrapper around Windows, calls explicitly the lowest possible calls☆14Jan 19, 2023Updated 3 years ago