Links

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 programs

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.

Files

There used to be a blog here.
Public keys: ssh and gpg
GPL or LGPL for OCaml libraries?
L’état des lieux concernant le Tascam US-122L sous linux
Les partitions de la fantaisie et fugue en sol mineur bwv 542 de Bach (ou en midi) que je soumettrai un jour à Mutopia quand j’aurai le courage de finir tout ça (fut une époque où je savais moi-même écrire des machins comme ça).
Mes fiches de prépa.
Je me suis gourré, c’est confluent.