thamugadi

blink

tiniest x86-64-linux emulator

agda

Agda is a dependently typed programming language / interactive theorem prover.

vmlinux-to-elf

A tool to recover a fully analyzable .ELF from a raw kernel, through extracting the kernel symbol table (kallsyms)

sectorlisp

Bootstrapping LISP in a Boot Sector

rosette

The Rosette solver-aided host language, sample solver-aided DSLs, and demos

ctf

knowledge is power

breaks

Nintendo Entertainment System (NES) / Famicom / Famiclones chip reversing

lean4-metaprogramming-book

pythonOS

what have I done

Brainfuck

A Brainfuck interpreter written in Agda

Gadolinium

Experimental Nintendo 64 emulator

moestation

PlayStation 2 emulator written in C++.

gc-ipl

Open Source GAMECUBE IPL

replacemenDS

Open source Nintendo DS ARM7 and ARM9 boot ROMs and firmware replacement.

powerpc-ofw-boot

Bootable stuff for PowerPC-based macs

angr-wrapper

angr-wrapper is a simple script to automatise and accelerate your basic use of angr (to solve CTF challenges for example)

ppcd

Very accurate disassembler of PowerPC-based processors

exoverifier

rust-8

chip8 emulator written in pure rust, using rust-sdl2 for graphics

strong-krivine

Strongly normalising Krivine machine for λσ⇑-calculus

nobodyisnobody

My personnal repository

ppcskel

mini-based Wii homebrew example code

krivine-extended

An implementation of extended Krivine machine.

alice-lisp

Small Lisp made to play around with Megaparsec and Haskell

twilight-injector

Produces a Zelda: Twilight Princess (Gamecube, PAL) savefile that will execute arbitrary code.

SaveFileHacker

A simple webpage for hacking a The Legend of Zelda: Twilight Princess GCI save file to load a REL file from memory card slot A.

proostLean

kanji-engine

small c++ game engine made for fun.

BreadboardCPU_Assembler

An Agda-embedded assembly language for programming my custom-built 4-bit breadboard CPU.

skosette

Reimplementation of the Skolem function generation using Rosette