~lthms

Paris · France

https://soap.coffee/~lthms

I don’t like syntax highlighting.

~lthms/typed-urls

Type-safe URLs in Rust

~lthms/grimoar

Visualize your story in time and space

~lthms/colorless-themes.el

A collection of mostly colorless themes for Emacs

~lthms/keyr

Keep track of your keystrokes

~lthms/ogmarkup

A markup language for story writers

~lthms/celtchar

A tool to build novels

~lthms/varuna

An ogmarkup editor right in your browser

~lthms/coqbook.css

A custom coqdoc.css which you could use to print a book

~lthms/thaar

Game server and client for a Miradelphia event

~lthms/freespec-coqpl2019

My (rejected) submission to the CoqPL 2019 workshop

~lthms/chain

Extensible, type-safe error handling in Haskell

~lthms/fairy.lisp

A small rendering engine inspired by PIXI.js, in Common Lisp.