Philipp Joram

ctroller. Use your 3DS as a gamepad on linux

SpecializeMii. Golden Pants for everyone!

agda-mode-ng. Let's rethink how we interact with Agda

agda-cubical-multiset. (Finite) multisets in Cubical Agda

gba-pkm-save-edit. A commandline application to edit save files of Pokémon-games for the GBA

cubical-containers. Agda

alster. A proof-of-concept Language Server for the Agda programming language.

ctru-rt. A WIP runtime crate to run Rust usermode code on the Nintendo 3DS

fractalbot. Rust

nvim-config. Vim Script

agda-index. Poor man's Agda identifier indexing

streetpass-experiments. Some quick and dirty Nintento Streetpass experiments