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