aramya's repositories

meli

i386 hobby kernel.

Language:CLicense:GPL-3.0Stargazers:25Issues:2Issues:0

powerpc-ofw-boot

Bootable stuff for PowerPC-based macs

Language:CLicense:GPL-3.0Stargazers:19Issues:1Issues:0

call-cc-krivine

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

Language:HaskellLicense:GPL-3.0Stargazers:13Issues:1Issues:0

semantic-preservation

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

Language:CoqLicense:BSD-2-ClauseStargazers:9Issues:1Issues:0

jit-chip8

Just-in-time compiler for CHIP-8

Language:CLicense:GPL-3.0Stargazers:8Issues:1Issues:1

bf-asm-compiler

bf -> assembly compiler

Language:PythonStargazers:4Issues:1Issues:0

aram

Bootloader loading a very basic kernel. WIP

Language:AssemblyLicense:GPL-3.0Stargazers:2Issues:1Issues:0

twilight-injector-js

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

Language:JavaScriptLicense:GPL-3.0Stargazers:2Issues:1Issues:0

ctf-writeups

Writeups for some CTF I have played.

Language:PythonLicense:UnlicenseStargazers:1Issues:1Issues:0

smt-tests

playground for sbv

Language:HaskellLicense:GPL-3.0Stargazers:0Issues:1Issues:0