thamugadi / powerpc-ofw-bootView external linksLinks
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☆37Mar 12, 2024Updated last year
- Martin-Löf type theory + W-types implemented in C (WIP)☆27Aug 9, 2025Updated 6 months ago
- Interactive holes for Lean 4☆22Apr 19, 2024Updated last year
- Development ressources for Old World Macintosh (68k and NuBus PPC) and a few related things…☆25Sep 24, 2025Updated 4 months ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- i386 hobby kernel.☆24Oct 5, 2023Updated 2 years ago
- This repository is a ASM->CPP translation of NFSIISE☆10Mar 15, 2024Updated last year
- A C# library for loading LSD: Dream Emulator data files.☆16Aug 28, 2023Updated 2 years ago
- PPC instruction tests☆11Jan 22, 2024Updated 2 years ago
- PlayStation GPU (WIP)☆17Oct 3, 2023Updated 2 years ago
- Agda to C compiler☆10Sep 23, 2025Updated 4 months ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"☆23Mar 30, 2011Updated 14 years ago
- Single file C header for UTF-x-to-y conversions + helpers☆13Jun 11, 2023Updated 2 years ago
- Faceted execution in Racket☆11Sep 11, 2018Updated 7 years ago
- Formalising Turing Machines In Coq (bachelor's thesis)☆12Jul 5, 2023Updated 2 years ago
- Implementations of various toy programming languages☆12Apr 19, 2018Updated 7 years ago
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- My Agda blog/lab/playground☆12Updated this week
- Category Theory in Programming☆13Jan 22, 2026Updated 3 weeks ago
- Linearizability Hoare Logic☆17Feb 9, 2026Updated last week
- Offline partial evaluation system for Prolog written using the cogen approach☆21Jul 19, 2016Updated 9 years ago
- ☆12Jun 13, 2023Updated 2 years ago
- Mac OS ROM mangler☆36Dec 1, 2025Updated 2 months ago
- Project to reverse-engineer the Classic Mac OS☆121Dec 22, 2024Updated last year
- It is a simple web server base on pure C☆11May 6, 2014Updated 11 years ago
- Topos theory in Lean 4☆16Feb 10, 2025Updated last year
- A small embeddable Lisp for the Zig ecosystem λ☆26Feb 8, 2026Updated last week
- 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
- Experiments with Realizability in Univalent Type Theory☆19Oct 21, 2024Updated last year
- An attempt towards univalent classical mathematics in Cubical Agda.☆32Sep 15, 2023Updated 2 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆32Jan 11, 2022Updated 4 years ago
- Python library that provides command-line SimpleRez and SimpleDeRez☆13Jun 23, 2020Updated 5 years ago
- 100% Broadway compliant PowerPC Assembler completely handwritten in PowerPC☆16Mar 25, 2024Updated last year
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago