Programming

Research implementations

• CCCaTT: a type theory for cartesian closed categories.
• ocaml-alg: manipulation of algebraic structures in OCaml.
• CaTT: a proof-checker for weak ω-categories.
• Hyper: an hypergraph rewriting engine for presentations of PROPs.
• Bergman 2: a new implementation of a tool to compute Gröbner bases and resolutions.
• Knuth-Bendix completion
• Rewr2: same as below, but rewritten from scratch.
• Rewr: an online tool to study (higher-dimensional) rewriting.

Software

• Liquidsoap: a generator of musical streams, in order to make a webradio (it is able to maintain a database of available musical files, handle evolved programs, and has web/telnet/IRC interfaces so that listeners can interact in realtime with the radio.

Tools

• satex: string diagram generator for LaTeX.
• snipettor: a tool to extract excerpts from code (for now OCaml and Agda are supported). I use it to include portions of code in my LaTeX files (e.g. this course), while ensuring that it is compiling.
• strid: a string diagram generator.

Experiments

• msynth: a library to write synthesizers in OCaml, monadic style.

Older

• An OCaml binding to OpenCL. This version is still preliminary.
• ocaml-glpk, an OCaml binding to GLPK.
• Funk is a small kernel programmed in OCaml (yes we can!) (github, old website).
• motocal, un petit programme ocaml pour synchroniser mon calendrier Evolution et mon téléphone portable Motorola.
• Le patch ocaml-memprof pour étudier la consommation mémoire des programmes caml (cf. le readme) mis à jour pour OCaml 4.00.0 (et OCaml 3.09.3, 3.10.0). Ce patch a été créé par Fabrice Le Fessant, je n'ai fait que le mettre à jour pour les versions récentes d'OCaml.
• Bed, un éditeur de texte qui tente de s'acquiter efficacement de sa tâche (l'indentation en particulier).
• gkrellm-cpuspeed un plugin gkrellm qui affiche la vitesse du processeur en se fondant sur /proc/cpu (contrairement à gkrellm-x86info qui recalcule cette vitesse ce qui donne des résultats moins probants sur mon ordi avec speedstep).
• irc.ml (le mli et la doc correspondants), un joli petit module OCaml pour faire des clients (ou des bots) IRC. Celui-ci a servi de base à camlquizz, un bot pour faire des quizz sur IRC (allez voir le canal #superquizz de irc.rezosup.org). Vous pouvez aussi retrouver le code sur GitHub.
• skeg, un projet images dont le but est d'animer un pingouin en metaballs en utilisant des techniques de cinématique inverse.
• bifton est un compilateur d'un sous-ensemble de Pascal en assembleur i386 et sparc écrit en caml.
• Roudoudou est un éditeur de partitions graphique en frontend pour lilypond (qui est lui-même un éditeur de partitions fondé sur LaTeX) programmé en Java (POOGL en MIM₁). Il est loin d'être en version finale, ni même en version β, ni même d'être utilisable étant donné que la syntaxe de lilypond a quelque peu évolué depuis la version 2.0.0…
• Un interpréteur lisp programmé en OCaml dont je doute qu'il puisse un jour servir à qu[o]i que ce soit (second DM de MIM₁). Il contient quelques erreurs importantes de conception, bien cachées…
• Fractcompr est un programme permettant de compresser des images par compression fractale écrit en OCaml (premier DM de MIM₁).
• I used to maintain Debian packages.