Pinned Loading

1. jazelle-wii jazelle-wii Public

   Attempt to natively run JVM bytecode on the Wii's Starlet

   Assembly 63 1

2. jit-chip8 jit-chip8 Public

   Just-in-time compiler for CHIP-8

   C 8

3. mltt-c mltt-c Public

   Martin-Löf type theory + W-types implemented in C (WIP)

   C 6

4. semantic-preservation semantic-preservation Public

   Attempt to prove semantic preservation (forward simulation) for a simple compiler.

   Coq 9

5. powerpc-ofw-boot powerpc-ofw-boot Public

   Bootable stuff for PowerPC-based macs + some primitives to interact with OpenFirmware

   C 19

6. call-cc-krivine call-cc-krivine Public

   A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.

   Haskell 14 1