~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/dot-emacs

My Emacs configuration

~lthms/ogmarkup.el

An emacs major mode for ogmarkup

~lthms/coqtales

A serie of Coq literate programming tales

~lthms/ogmarkup

A markup language for story writers

~lthms/varuna

An ogmarkup editor right in your browser

~lthms/dot-zsh

My ZSH (and related) configuration

~lthms/dot-sway

My Sway (and related) configuration

~lthms/mappu

Lazy tile provider for Leaflet.js

~lthms/dot-nvim

My neovim configuration

~lthms/lthms.xyz

Source and content of my personal website

~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/ogmios

Visualize your story in time and space

1 / 2