aramya's page

I'm passionate about computers and computation, sharing some of my interests in little corners of the web :p

you can find me:

• on github: github.com/thamugadi
• on fediverse: @aramya@pandasemi.co
• on bluesky: @aramya.m.pandasemi.co.ap.brid.gy

some pages:

• a code injector for Zelda: Twilight Princess (gamecube)
• a language based on martin-löf type theory + w-types
• a call-by-name lambda calculus evaluator