index
NameDescriptionIdleLinks
kadoUnnamed repository; edit this file 'description' to name the repository. summarylogtree
shell-scriptsShell scripts that might be usefull... or not 23 monthssummarylogtree
taplUnnamed repository; edit this file 'description' to name the repository. 18 monthssummarylogtree
user-configMy personal environment config files 4 monthssummarylogtree
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 20 monthssummarylogtree
Music
mmsUnnamed repository; edit this file 'description' to name the repository. summarylogtree
partitionsScores written in LilyPond 2 yearssummarylogtree
rscdsPartitions database for RSCDS balls 3 weekssummarylogtree
OCaml
ircIRC library for OCaml 17 monthssummarylogtree