~lthms

Paris ยท France

https://lthms.xyz

Formal methods researcher, and FP enthusiast.

~lthms/colorless-themes.el

A collection of mostly colorless themes for Emacs

~lthms/lthms.xyz

Source and content of my personal website

~lthms/mira

A tool to format Miradelphia posts, using ogmarkup

~lthms/ogmarkup

A markup language for story writers

~lthms/ogmios

Visualize your story in time and space

~lthms/celtchar

A tool to build novels

~lthms/freespec-coqpl2019

My submission to the CoqPL 2019 workshop

~lthms/lycan.lisp

Yet another Lycan game server

~lthms/fairy.lisp

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