aramya's starred repositories
sail-riscv
Sail RISC-V model
Toki_Pona-Parser
Toki Pona is a constructed, minimal language. This parser based on swi-prolog and definite clause grammars (dcg) and supports spelling, grammar check and ambiguity check of Toki Pona sentences.
awesome-recursion-schemes
Resources for learning and using recursion schemes.
skyeye-starlet
Very hacky Starlet emulator. Here be dragons, this was never meant to be released.
gekko-gc-emu
Gekko Gamecube Emulator
lambda-mu-mu-calculus
Interpreter for λ̅μμ̃-calculus of Herbelin and Curien (for educational purposes).
decomp-toolkit
A GameCube & Wii decompilation toolkit
ArmbootNow
Basic utility to launch an ARM binary from the SD card of a Wii.
dependent-types-in-haskell
Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup
dolsdk2001
A decompilation of the 5-23-2001 version of the Dolphin SDK Libraries.
language-garden
A garden of small programming language implementations 🪴
libreultra
A matching decompilation of libultra by a couple of clever folks.
pureikyubu
Nintendo GameCube Emulator (WIP)