-
powerpc-ofw-boot Public
Bootable stuff for PowerPC-based macs + some primitives to interact with OpenFirmware
-
semantic-preservation Public
Work in progress. Attempt to prove semantic preservation (forward simulation) for a simple compiler.
-
call-cc-krivine Public
A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.
-
jit-chip8 Public
Just-in-time compiler for CHIP-8
-
meli Public
i386 hobby kernel.
-
-
aram Public archive
Bootloader loading a very basic kernel. WIP
-
twilight-injector-js Public
Patches a Zelda: Twilight Princess (Gamecube) savefile to execute arbitrary code.
-
-