index
NameDescriptionIdle
cgit[FORK] A hyperfast web frontend for git repositories written in C. 2 months
synacor[WIP] My code for the Synacor challenge 10 months
templaA script-based template engine 13 months
niA stack-based concatenative programming language 11 months
muriA theorem prover for intuitionistic propositional logic 5 months
aocAdvent of Code solutions in Haskell 9 months
costelloAn IRC bot written in Bash 5 weeks
marvinMicroprocessor simulator for the digital electronics project at ENS 8 months
dotfilesMy configuration files 13 days
glamThe guarded λ-calculus 7 weeks
wwwThe monade.li front page 6 weeks
pgoTiny Go compiler for the compilation project at ENS 8 months
kahnVarious Kahn process network implementations for the OS class project at ENS 4 months