Paris ยท France


Formal methods researcher, and FP enthusiast.


A markup language for story writers


An ogmarkup editor right in your browser


My Emacs configuration


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


A collection of mostly colorless themes for Emacs


Visualize your story in time and space


A tool to build novels


Yet another Lycan game server

1 / 2