Pinned Loading

1. meli meli Public

   i386 hobby kernel.

   C 24 3

2. semantic-preservation semantic-preservation Public

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

   Coq 9

3. dynastone dynastone Public

   Keystone-based dynamic assembler. Allows to easily write a JIT compiler in C/C++.

   C 5

4. 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

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

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

   C 19

6. jit-chip8 jit-chip8 Public

   Just-in-time compiler for CHIP-8

   C 8