My software

Among the programs below, Rubber has an official Debian package, the others don't, but I have a small repository here, mostly for my personal use. The sources are kept in my Darcs repositories.

Rubber
This is a wrapper for LaTeX and companion programs. It can perform dependency analysis over sources, convert graphics into appropriate formats, process bibliographies and indexes, and compile the documents the right number of times to resolve references, playing the role of a LaTeX-aware "make" program.
CMLL
This is a very small fonts that contains some symbols useful in Linear Logic and that I didn't find elsewhere. Updated on 2009-01-21.
French Cursive
This is a family of cursive fonts in the style of the French academic running-hand (though it contains many accented letters that are not used in French). It is declined in several variants.
thmbox
This is a LaTeX package that replaces the standard presentation of theorem environments with a more fancy one, putting rules around the text.
Work in progress
Two programs I have been working on recently, not ready for widespread use but interesting (well, at least, they interest me). No release yet, but code can be found in my Darcs repositories.
  • PiVM: a concurrent virtual machine inspired by π-calculus concepts (written in C and OCaml).
  • struct: a tool to generate read/write code for binary files (in and for OCaml).
Various things
Sometimes I write shell scripts and other small pieces of code, some of which might be of interest to other people
  • livre is a shell script that I use to make booklets from PS and PDF documents. It computes bounding boxes and deduces optimized reductions on two pages per sheet with given margins or scaling. Pages can be arranged for various kinds of folding or binding.
  • tex-utf8 is a Python script that translates TeX sources to and from Unicode, translating Unicode symbols to TeX commands and back.
  • keymaps for Vim: arabic-tr.vim for arabic (transliterated), math.vim for math symbols (on a French keyboard). They can even be turned into Gtk2 input methods using vim2gtk!
  • xmms2t is a small command-line tool for Xmms2.
  • emp is a command-line tool that handles package files from Emusic (it seems this does not work anymore).