Bootable stuff for PowerPC-based macs + some primitives to interact with OpenFirmware
☆19Jul 9, 2025Updated 7 months ago
Alternatives and similar repositories for powerpc-ofw-boot
Users that are interested in powerpc-ofw-boot 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
- ☆15Oct 31, 2023Updated 2 years ago
- Use https://github.com/elliotnunn/tbxi instead!☆31Jun 2, 2023Updated 2 years ago
- An OldWorld PowerPC Linux bootloader for the 21st century☆38Mar 12, 2024Updated last year
- Interactive holes for Lean 4☆22Apr 19, 2024Updated last year
- Martin-Löf type theory + W-types implemented in C (WIP)☆27Feb 16, 2026Updated 2 weeks ago
- Development ressources for Old World Macintosh (68k and NuBus PPC) and a few related things…☆25Sep 24, 2025Updated 5 months ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- SDL port for the Switch based on libtransistor☆23Jul 21, 2018Updated 7 years ago
- i386 hobby kernel.☆24Oct 5, 2023Updated 2 years ago
- Faceted execution in Racket☆11Sep 11, 2018Updated 7 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- Single file C header for UTF-x-to-y conversions + helpers☆13Jun 11, 2023Updated 2 years ago
- Agda to C compiler☆10Sep 23, 2025Updated 5 months ago
- PPC instruction tests☆11Jan 22, 2024Updated 2 years ago
- A C# library for loading LSD: Dream Emulator data files.☆16Aug 28, 2023Updated 2 years ago
- This repository is a ASM->CPP translation of NFSIISE☆11Mar 15, 2024Updated last year
- PlayStation GPU (WIP)☆17Oct 3, 2023Updated 2 years ago
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- My Agda blog/lab/playground☆12Feb 12, 2026Updated 3 weeks ago
- Linearizability Hoare Logic☆17Feb 9, 2026Updated 3 weeks ago
- ☆12Jun 13, 2023Updated 2 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆21Jul 19, 2016Updated 9 years ago
- Formalising Turing Machines In Coq (bachelor's thesis)☆12Jul 5, 2023Updated 2 years ago
- The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"☆24Mar 30, 2011Updated 14 years ago
- Category Theory in Programming☆13Jan 22, 2026Updated last month
- Implementations of various toy programming languages☆12Apr 19, 2018Updated 7 years ago
- Project to reverse-engineer the Classic Mac OS☆121Dec 22, 2024Updated last year
- Mac OS ROM mangler☆38Dec 1, 2025Updated 3 months ago
- Experiments with Realizability in Univalent Type Theory☆19Oct 21, 2024Updated last year
- A small embeddable Lisp for the Zig ecosystem λ☆27Feb 8, 2026Updated last month
- Manage and run multiple BasiliskII VMs.☆15Jan 31, 2019Updated 7 years ago
- The disk-based Start Manager code that gets you from a Happy Mac to the Process Manager☆15Apr 7, 2018Updated 7 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆32Jan 11, 2022Updated 4 years ago
- An attempt towards univalent classical mathematics in Cubical Agda.☆32Sep 15, 2023Updated 2 years ago
- Formalization of 2LTT in Agda☆17Aug 6, 2025Updated 7 months ago
- Formal specification of the Haskell Language Report☆32Updated this week
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- Simply-typed lambda calculus as a QIT in cubical Agda + normalization☆15Jan 23, 2024Updated 2 years ago