index
NameDescriptionOwnerIdle
colorless themes
colorless-themes/colorless-emacs.gitMostly colorless themes for EmacsThomas Letan2 months
colorless-themes/templates.gitA collection of mostly colorless themesThomas Letan9 weeks
lthms dotfiles
dotfiles/emacs.gitEmacs configurationThomas Letan8 weeks
dotfiles/emails.gitNeomutt + Notmuch + Mbsync configurationThomas Letan8 weeks
dotfiles/nvim.gitNeoVim configurationThomas Letan2 months
dotfiles/sway.gitSway and related wm tools configurationThomas Letan2 months
dotfiles/zsh.gitZsh configurationThomas Letan2 months
mirrors
github/coq-community/coqffi.gitCoq to OCaml FFI made easyThomas Letan2 months
github/lthms/FreeSpec.gitImplementing and certifying impure computations in Coq Thomas Letan2 months
miscellaneous
cleopatra.gitAn extensible build system for literate programs and moreThomas Letan2 months
gamedev/mermaid.gitIncomplete, minimal, easy to hack game serverThomas Letan9 weeks
ogmios
ogmios/celtchar.gitEPUB and static website generation for ogmarkup documentsThomas Letan3 months
ogmios/ogmarkup.gitA lightweight markup language for story writersThomas Letan9 months
ogmios/varuna.gitAn ogmarkup editor in your browserThomas Letan19 months
writing
writing/lthms.gitWrite-ups about formal methods and functional programmingThomas Letan97 min.
generated by cgit v1.2.3 (git 2.25.1) at 2021-02-24 19:48:39 +0000