Page non disponible en français !


Tools

I list here some of the tools I develop(ped) for my research activities. Some of them are available in my 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)