~lthms

Paris ยท France

https://lthms.xyz

Formal methods researcher, and FP enthusiast.

~lthms/mappu

Lazy tile provider for Leaflet.js

~lthms/colorless-themes.el

A collection of mostly colorless themes for Emacs

~lthms/ogmarkup

A markup language for story writers

~lthms/dot-nvim

My neovim configuration

~lthms/lycan.lisp

Yet another Lycan game server

~lthms/celtchar

A tool to build novels

~lthms/varuna

An ogmarkup editor right in your browser

~lthms/dot-emacs

My Emacs configuration

~lthms/coqbook.css

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

~lthms/lthms.xyz

Source and content of my personal website

~lthms/ogmarkup.el

An emacs major mode for ogmarkup

~lthms/coqtales

A serie of Coq literate programming tales

~lthms/dot-zsh

My ZSH (and related) configuration

~lthms/dot-sway

My Sway (and related) configuration

~lthms/thaar

Game server and client for a Miradelphia event

1 / 2