ara4711 / ppc_hwView external linksLinks
helloworld powerpc-app on qemu-e500
☆14Oct 21, 2015Updated 10 years ago
Alternatives and similar repositories for ppc_hw
Users that are interested in ppc_hw are comparing it to the libraries listed below
Sorting:
- ☆20Dec 9, 2025Updated 2 months ago
- multi platform game engine☆11Sep 1, 2025Updated 5 months ago
- [WIP] Gamecube emulator in the Rust programming language.☆42Apr 13, 2025Updated 10 months ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- DIN rail brackets meant for 3D printing☆13Apr 26, 2022Updated 3 years ago
- ☆13May 21, 2019Updated 6 years ago
- AVR CPU Core Implementation in Verilog HDL.☆14Oct 28, 2018Updated 7 years ago
- Typescript headless WoW client for 3.3.5☆10Sep 19, 2022Updated 3 years ago
- ☆11Oct 14, 2021Updated 4 years ago
- A terrible GameCube emulator. Written in Nim!☆46Sep 4, 2024Updated last year
- StarStruck is an IOS reimplementation intended to learn about IOS/Starlet. It started as a mini ( by Team Twiizers ) fork, but resulted i…☆43Updated this week
- R implementation of Contextual Importance and Utility for Explainable AI☆10Nov 5, 2025Updated 3 months ago
- Raspberry Pi Pico based USB gecko clone☆15Oct 30, 2025Updated 3 months ago
- A programming language that deduces code from tests☆30Jan 8, 2018Updated 8 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13May 21, 2016Updated 9 years ago
- Writeup that goes along with this:☆41Jan 18, 2018Updated 8 years ago
- Reversible programming in Agda☆13Jun 22, 2023Updated 2 years ago
- Cellular automata environment written in Common Lisp☆18Apr 17, 2021Updated 4 years ago
- Simple tool for modifying and searching yaml files while keeping the original file formatting.☆12Dec 26, 2022Updated 3 years ago
- Agda to C compiler☆10Sep 23, 2025Updated 4 months ago
- ☆10Jan 12, 2026Updated last month
- A chip8 emulator made in gameboy assembly for the gameboy☆16Aug 12, 2021Updated 4 years ago
- GBATEK Markdown Fork, GBA only☆11Oct 16, 2019Updated 6 years ago
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆12Dec 2, 2025Updated 2 months ago
- Basic utility to launch an ARM binary from the SD card of a Wii.☆15Feb 19, 2024Updated last year
- 对目录结构进行依赖分析,供js使用☆11Dec 19, 2017Updated 8 years ago
- KEXT for allowing the WiiU Gamecube controller adapter to be used in OSX☆11Mar 14, 2015Updated 10 years ago
- Faceted execution in Racket☆11Sep 11, 2018Updated 7 years ago
- PPC instruction tests☆11Jan 22, 2024Updated 2 years ago
- Waveshare 2.9inch E-paper display driver☆11Sep 21, 2020Updated 5 years ago
- Sandbox for Hyperledger Projects Performance research usage☆12Nov 27, 2023Updated 2 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- Key Management Services for Go☆10Oct 27, 2025Updated 3 months ago
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 8 years ago
- An intermediate representation language for JITs☆12Jan 11, 2026Updated last month
- PTP Dataset Analysis Library (PTP-DAL)☆13Sep 7, 2021Updated 4 years ago
- Disassembly of the game.com boot ROM☆12Dec 10, 2020Updated 5 years ago
- The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"☆23Mar 30, 2011Updated 14 years ago