index
NameDescriptionOwnerIdleLinks
emacs
colorless-themes.gitA collection of “mostly colorless themes” for EmacsThomas Letan5 monthssummarylogtree
gamedev
gamedev/mermaid.gitA simple, easy to hack game serverThomas Letan5 monthssummarylogtree
lthms dotfiles
dotfiles/emacs.gitEmacs configurationThomas Letan4 monthssummarylogtree
dotfiles/nvim.gitNeoVim configurationThomas Letan5 monthssummarylogtree
dotfiles/sway.gitSway and related wm tools configurationThomas Letan5 monthssummarylogtree
dotfiles/zsh.gitZsh configurationThomas Letan5 monthssummarylogtree
ogmios
ogmios/celtchar.gitEPUB generation for ogmarkup documentsThomas Letan4 monthssummarylogtree
ogmios/ogmarkup.gitA lightweight markup language for story writersThomas Letan5 monthssummarylogtree
ogmios/varuna.gitAn ogmarkup editor in your browserThomas Letan5 monthssummarylogtree
writing
writing/lthms.gitWrite-ups about formal methods and functional programmingThomas Letan3 monthssummarylogtree