Paris ยท France


Formal methods researcher, and FP enthusiast.


Lazy tile provider for Leaflet.js


A collection of mostly colorless themes for Emacs


A markup language for story writers


My neovim configuration


Yet another Lycan game server


A tool to build novels


An ogmarkup editor right in your browser


My Emacs configuration


A custom coqdoc.css which you could use to print a book


Source and content of my personal website


An emacs major mode for ogmarkup


A serie of Coq literate programming tales


My ZSH (and related) configuration


My Sway (and related) configuration


Game server and client for a Miradelphia event

1 / 2