Paris ยท France


Formal methods researcher, and FP enthusiast.


A collection of mostly colorless themes for Emacs


Source and content of my personal website


A tool to format Miradelphia posts, using ogmarkup


A markup language for story writers


Visualize your story in time and space


A tool to build novels


My submission to the CoqPL 2019 workshop


Yet another Lycan game server


A small rendering engine inspired by PIXI.js, in Common Lisp.