thamugadi

aramya's repositories

i386 hobby kernel.

Language:CGPL-3.025 20

Bootable stuff for PowerPC-based macs

Language:CGPL-3.019 10

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

Language:HaskellGPL-3.013 10

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

Language:CoqBSD-2-Clause9 10

Just-in-time compiler for CHIP-8

Language:CGPL-3.08 1 1

bf -> assembly compiler

Language:Python4 10

Bootloader loading a very basic kernel. WIP

Language:AssemblyGPL-3.02 10

Patches a Zelda: Twilight Princess (Gamecube) savefile to execute arbitrary code.

Language:JavaScriptGPL-3.02 10

Writeups for some CTF I have played.

Language:PythonUnlicense1 10

playground for sbv

Language:HaskellGPL-3.0010