index
NameDescriptionIdle
Configuration
dotfilesMy configuration files 3 weeks
coA configuration manager 5 months
Games
fightcubeA FightCube plugin for Minecraft 6 months
IRC
costelloAn IRC bot written in Bash 2 months
Languages
pgoPetit Go compiler for compilation class project at ENS 2 days
niA stack-based concatenative programming language 6 weeks
Logic
muriA theorem prover for intuitionistic propositional logic 6 weeks
Tools
templaA script-based template engine 2 months
Web
wwwThe monade.li front page 2 months
chan4chan without the noise 2 months