index
NameDescriptionIdle
Configuration
dotfilesMy configuration files 3 weeks
templaA script-based template engine 5 months
Forks
cgit[FORK] A hyperfast web frontend for git repositories written in C. 6 weeks
Games
aocAdvent of Code solutions in Haskell 3 weeks
synacorMy code for the Synacor challenge 7 weeks
fightcubeA FightCube plugin for Minecraft 9 months
IRC
costelloAn IRC bot written in Bash 5 months
Languages
pgoPetit Go compiler for the compilation project at ENS 7 days
niA stack-based concatenative programming language 3 months
Logic
muriA theorem prover for intuitionistic propositional logic 3 months
Low-level
scapinMicroprocessor simulator for the digital electronics project at ENS 15 min.
Web
wwwThe monade.li front page 5 months