index
NameDescriptionIdleLinks
kadoUnnamed repository; edit this file 'description' to name the repository. summarylogtree
shell-scriptsShell scripts that might be usefull... or not 21 monthssummarylogtree
taplUnnamed repository; edit this file 'description' to name the repository. 16 monthssummarylogtree
user-configMy personal environment config files 7 weekssummarylogtree
MPRI
2-36-1-projectProject — Proofs of programs 2 yearssummarylogtree
2-4-projectProgramming project — Functional programming and type systems 2 yearssummarylogtree
2-7-2-projectProject — Proof assistants 2 yearssummarylogtree
internshipInternship — Towards Verification of Shell Scripts 18 monthssummarylogtree
Music
partitionsScores written in LilyPond 2 yearssummarylogtree
rscdsPartitions database for RSCDS balls 5 weekssummarylogtree
OCaml
ircIRC library for OCaml 15 monthssummarylogtree