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.