Tools & Supporting Libraries

I list here some of the tools I develop(ped) for my research activities. Some of them are available in my OPAM repository:

Over the years I have also been involved in the development and maintenance of various software libraries. Most of them are now distributed in the official OPAM repository:


Various Configuration Files

Since I was inspired by configuration files from other people to create mine, I publish my own set of files on this web page. Notice that private information such as some mail and server addresses have been stripped from these public versions.

My GNU Emacs configuration

I use Gnus to read my emails

I also use the Awesome window manager


GNU Emacs Modes

Lustre (Toolbox page)

Controllable-Nbac