corlin-fardal

Pinned Repositories

Chip8-Coq
Chip8 Emulator implemented in Coq
Language:Coq10
Ace-Attorney-Android-English-Download-Files
Modelled off of http://cds.capcom.com/mc/googleplay/gt123hd/jp/data9t905s318a76h2czv837, allows the files to be translated
Language:HTML00
YANBF
Yet another nds-bootstrap forwarder. Runs from 3DS-mode!
Language:C1574

corlin-fardal's Repositories

corlin-fardal/Chip8-Coq
Chip8 Emulator implemented in Coq
Language:Coq1
corlin-fardal/Ace-Attorney-Android-English-Download-Files
Modelled off of http://cds.capcom.com/mc/googleplay/gt123hd/jp/data9t905s318a76h2czv837, allows the files to be translated
Language:HTML