index
NameDescriptionIdle
Configuration
dotfilesMy configuration files 4 weeks
coA configuration manager 4 months
Games
fightcubeA FightCube plugin for Minecraft 5 months
IRC
costelloAn IRC bot written in Bash 4 weeks
Languages
niA stack-based concatenative programming language 11 days
Logic
muriA theorem prover for intuitionistic propositional logic 7 days
Tools
templaA script-based template engine 5 weeks
Web
wwwThe monade.li front page 4 weeks
chan4chan without the noise 5 weeks