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