Paris · France
Formal methods researcher, and FP enthusiast.
A markup language for story writers
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
A small rendering engine inspired by PIXI.js, in Common Lisp.