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.
- The home page.
- CMLL
-
These are very small fonts that contain some symbols useful in Linear
Logic and that I didn't find elsewhere. CMLL is designed in the style of
Computer Modern and AMS fonts, and EULL is designed for use with the AMS
Euler series.
- The package, the documentation and the CTAN entry.
- 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.
- The package, the source, the documentation, and the CTAN entry.
- 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.sh is a small wrapper around pstops (and other programs) that I use to make booklets. Say livre.sh --help for documentation.
- 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.