Emmanuel Beffara

Software

I’m a happy user of Git and most of the things I develop are managed with it. I host my creations on Framagit, which is hosted by Framasoft, unless I have a reason not to.

Typesetting

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. I created it and maintained it for a long time but I have mostly stopped working on it, handing it to other people.

Fonts

CMLL
This is a very small font that contains some symbols useful in Linear Logic and that I didn’t find elsewhere. Available in standard TeX distributions.
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.

LaTeX packages

ebproof
Provides commands to typeset proof trees in the style of sequent calculus and related systems.
thmbox
Replaces the standard presentation of theorem environments with a more fancy one, putting rules around the text.
various
Small packages that I maintain mostly for my personal use but may be useful to other people. This includes ebutf8.sty (enables UTF8 input independently of the TeX engine), paranum.sty (provides numbered paragraphs as in old-style books), ebmath.sty (defines various math constructs that I often need), exo.sty (provides format for exercises and answers).

Web applications

The following are applications for the Django web framework, you can see them in action on the Chocola web site.

Django-seminar
An application to manage the schedule of a conference or regular seminar, organized as events/talks/sessions.
Django-backups
A small application to handle database-independent backups on Django sites.

Coq

Coq-au-vim
A plugin for the Vim text editor that provides an IDE for developping proofs with the Coq proof assistant.