Paris ยท France


Distributed under the terms of the MPL 2.0.


Keep track of your keystrokes


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


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.