a deep inference tool for finding base linear inference rules

Simple terminal emulator. Supports most of the VT102 spec (and certainly all the modern important bits).

because pudding farming manually is incredibly boring

Random things related to Persona 3 FES and maybe 4

Makes Youmu's ghost half not glow/leave trails while focused in 東方永夜抄 ～ Imperishable Night

An improved "hitbox patch" for 東方紅魔郷～ the Embodiment of Scarlet Devil

Calculator for fusions in Persona 3: FES and Persona 4.

Simple, in memory, terminal emulator. Useful for screen scraping complicated terminal apps.

A Lisp tutorial game

Do you think Nethack is hard? Noobhack makes it easier.

S* AI Playing netHack