Paris ยท France


Formal methods researcher, and FP enthusiast.


A collection of mostly colorless themes for Emacs


My Emacs configuration


An emacs major mode for ogmarkup


A serie of Coq literate programming tales


A markup language for story writers


An ogmarkup editor right in your browser


My ZSH (and related) configuration


My Sway (and related) configuration


Lazy tile provider for Leaflet.js


My neovim configuration


Source and content of my personal website


Game server and client for a Miradelphia event


My (rejected) submission to the CoqPL 2019 workshop


Extensible, type-safe error handling in Haskell


Visualize your story in time and space

1 / 2