Paris · France
I don’t like syntax highlighting.
Type-safe URLs in Rust
A markup language for story writers
A collection of mostly colorless themes for Emacs
Visualize your story in time and space
Keep track of your keystrokes
A tool to build novels
An ogmarkup editor right in your browser
A custom coqdoc.css which you could use to print a book
Game server and client for a Miradelphia event
My (rejected) submission to the CoqPL 2019 workshop
Extensible, type-safe error handling in Haskell
A small rendering engine inspired by PIXI.js, in Common Lisp.