index
NameDescriptionIdle
Configuration
dotfilesMy configuration files 6 days
Games
fightcubeA FightCube plugin for Minecraft 7 months
IRC
costelloAn IRC bot written in Bash 3 months
Languages
niA stack-based concatenative programming language 2 weeks
pgoPetit Go compiler for the compilation project at ENS 3 weeks
Logic
muriA theorem prover for intuitionistic propositional logic 2 weeks
Low-level
scapinMicroprocessor simulator for the digital electronics project at ENS 4 days
Tools
templaA script-based template engine 3 months
Web
wwwThe monade.li front page 3 months