index
NameDescriptionOwnerIdleLinks
cleopatra.gitAn extensible build system for literate programs and moreThomas Letan3 monthssummarylogtree
colorless-themes.gitA collection of “mostly colorless themes” for EmacsThomas Letan4 weekssummarylogtree
dotfiles/emacs.gitEmacs configurationThomas Letan4 weekssummarylogtree
dotfiles/nvim.gitNeoVim configurationThomas Letan5 monthssummarylogtree
dotfiles/sway.gitSway and related wm tools configurationThomas Letan11 monthssummarylogtree
dotfiles/zsh.gitZsh configurationThomas Letan11 monthssummarylogtree
gamedev/mermaid.gitA simple, easy to hack game serverThomas Letan10 monthssummarylogtree
ogmios/celtchar.gitEPUB and static website generation for ogmarkup documentsThomas Letan5 monthssummarylogtree
ogmios/og.gitVisualize your stories in time and spaceThomas Letan3 monthssummarylogtree
ogmios/ogmarkup.gitA lightweight markup language for story writersThomas Letan7 weekssummarylogtree
ogmios/varuna.gitAn ogmarkup editor in your browserThomas Letan11 monthssummarylogtree
writing/lthms.gitWrite-ups about formal methods and functional programmingThomas Letan3 monthssummarylogtree