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