aramya

jazelle-wii. Natively running JVM bytecode on the Wii's Starlet

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

meli. i386 hobby kernel.

powerpc-ofw-boot. Bootable stuff for PowerPC-based macs + some primitives to interact with OpenFirmware

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

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

jit-chip8. Just-in-time compiler for CHIP-8

azyam. Ideas to run GameCube games on PowerPC Macintoshes through an OpenFirmware-level emulator. Still largely unimplemented

bf-asm-compiler. bf -> assembly compiler

twilight-injector-js. Patches a Zelda: Twilight Princess (Gamecube) savefile to execute arbitrary code.

aram. Bootloader loading a very basic kernel. WIP

ctf-writeups. Writeups for some CTF I have played.