Emmanuel Beffara - 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.

The home page.

CMLL

This is a very small fonts that contains some symbols useful in Linear Logic and that I didn't find elsewhere. Updated on 2010-04-20.

The package, the documentation and the CTAN entry.
An up-to-date Debian package that you can use before the new release reaches TeXLive.

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.

The home page, the entry on CTAN.

LaTeX packages

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.

paranum

Another package that changes the presentation of theorems. This one numbers theorem-like environment and other paragraphs with numbers in the margin, as in old math books.

The package, no documentation yet.

Printing tools

pdfpages: This is a Python script that I use to rearrange pages in PDF documents. It computes bounding boxes and deduces optimized zoom for any number of pages pages per sheet with given margins or scaling. Pages can be arranged for various kinds of folding or binding. This requires Poppler for Python and works faster when PIL is available. Say pdfpages --help for help.
livre: This is the ancestor of pdfpages, used to make booklets from PostScript.
img2pdf: This Python script takes a bunch of image files and turn them into a nice PDF document, with one image per page, at an appropriate scaling. This requires pdfLaTeX.

Various things

Sometimes I write shell scripts and other small pieces of code, some of which might be of interest to other people

tex-utf8

This 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!

tostow

This is a Python script that eases the task of installing software using Stow. Say tostow snap, install a package normally using its ./configure; make; make install procedure, say tostow stow foo, and all the files just installed are moved to the proper place in /usr/local/stow/foo.