Paris ยท France


Formal methods researcher, and FP enthusiast.


My Sway (and related) configuration


My neovim configuration


My ZSH (and related) configuration


My Emacs configuration


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.