thamugadi

I like low-level computing and functional programming :)

Morocco

Pinned Repositories

aram
Bootloader loading a very basic kernel. WIP
Language:Assembly2 1 01
bf-asm-compiler
bf -> assembly compiler
Language:Python3 1 00
call-cc-krivine
A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.
Language:Haskell14 1 01
dynastone
Keystone-based dynamic assembler. Allows to easily write a JIT compiler in C/C++.
Language:C6 1 00
jazelle-wii
Attempt to natively run JVM bytecode on the Wii's Starlet
Language:Assembly611
jit-chip8
Just-in-time compiler for CHIP-8
Language:C8 1 10
meli
i386 hobby kernel.
Language:C25 2 03
powerpc-ofw-boot
Bootable stuff for PowerPC-based macs + some primitives to interact with OpenFirmware
Language:C19 1 00
semantic-preservation
Attempt to prove semantic preservation (forward simulation) for a simple compiler.
Language:Coq9 1 00
twilight-injector-js
Patches a Zelda: Twilight Princess (Gamecube) savefile to execute arbitrary code.
Language:JavaScript2 1 00

thamugadi/jazelle-wii
Attempt to natively run JVM bytecode on the Wii's Starlet
Language:Assembly611
thamugadi/meli
i386 hobby kernel.
Language:C25 2 03
thamugadi/powerpc-ofw-boot
Bootable stuff for PowerPC-based macs + some primitives to interact with OpenFirmware
Language:C19 1 00
thamugadi/call-cc-krivine
A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.
Language:Haskell14 1 01
thamugadi/semantic-preservation
Attempt to prove semantic preservation (forward simulation) for a simple compiler.
Language:Coq9 1 00
thamugadi/jit-chip8
Just-in-time compiler for CHIP-8
Language:C8 1 10
thamugadi/dynastone
Keystone-based dynamic assembler. Allows to easily write a JIT compiler in C/C++.
Language:C6 1 00
thamugadi/bf-asm-compiler
bf -> assembly compiler
Language:Python3 1 00
thamugadi/aram
Bootloader loading a very basic kernel. WIP
Language:Assembly2 1 01
thamugadi/twilight-injector-js
Patches a Zelda: Twilight Princess (Gamecube) savefile to execute arbitrary code.
Language:JavaScript2 1 00
thamugadi/ctf-writeups
Writeups for some CTF I have played.
Language:Python1 1 00
thamugadi/smt-tests
playground for sbv
Language:Haskell1 0