index
NameDescriptionIdle
Configuration
dotfilesMy configuration files 2 weeks
templaA script-based template engine 4 months
Games
aocAdvent of Code solutions in Haskell 31 hours
synacorMy code for the Synacor challenge 4 days
fightcubeA FightCube plugin for Minecraft 8 months
IRC
costelloAn IRC bot written in Bash 4 months
Languages
pgoPetit Go compiler for the compilation project at ENS 23 hours
niA stack-based concatenative programming language 5 weeks
Logic
muriA theorem prover for intuitionistic propositional logic 5 weeks
Low-level
scapinMicroprocessor simulator for the digital electronics project at ENS 3 weeks
Web
wwwThe monade.li front page 4 months