index
NameDescriptionOwnerIdle
colorless themes
colorless-themes/colorless-emacs.gitMostly colorless themes for EmacsThomas Letan4 months
colorless-themes/templates.gitA collection of mostly colorless themesThomas Letan4 months
lthms dotfiles
dotfiles/emacs.gitEmacs configurationThomas Letan3 months
dotfiles/emails.gitNeomutt + Notmuch + Mbsync configurationThomas Letan4 months
dotfiles/nvim.gitNeoVim configurationThomas Letan4 months
dotfiles/sway.gitSway and related wm tools configurationThomas Letan4 months
dotfiles/zsh.gitZsh configurationThomas Letan4 months
mirrors
github/coq-community/coqffi.gitCoq to OCaml FFI made easyThomas Letan4 months
github/lthms/FreeSpec.gitImplementing and certifying impure computations in Coq Thomas Letan4 months
miscellaneous
cleopatra.gitAn extensible build system for literate programs and moreThomas Letan4 months
gamedev/mermaid.gitIncomplete, minimal, easy to hack game serverThomas Letan4 months
ogmios
ogmios/celtchar.gitEPUB and static website generation for ogmarkup documentsThomas Letan12 days
ogmios/ogmarkup.gitA lightweight markup language for story writersThomas Letan11 months
ogmios/varuna.gitAn ogmarkup editor in your browserThomas Letan20 months
writing
writing/lthms.gitWrite-ups about formal methods and functional programmingThomas Letan3 weeks