code.soap.coffee
A collection of projects written and sometimes maintained by lthms
index
Name
Description
Owner
Idle
colorless themes
colorless-themes/colorless-emacs.git
Mostly colorless themes for Emacs
Thomas Letan
3 weeks
colorless-themes/templates.git
A collection of mostly colorless themes
Thomas Letan
3 weeks
lthms dotfiles
dotfiles/emacs.git
Emacs configuration
Thomas Letan
2 weeks
dotfiles/emails.git
Neomutt + Notmuch + Mbsync configuration
Thomas Letan
3 weeks
dotfiles/nvim.git
NeoVim configuration
Thomas Letan
4 weeks
dotfiles/sway.git
Sway and related wm tools configuration
Thomas Letan
4 weeks
dotfiles/zsh.git
Zsh configuration
Thomas Letan
4 weeks
mirrors
github/coq-community/coqffi.git
Coq to OCaml FFI made easy
Thomas Letan
4 weeks
github/lthms/FreeSpec.git
Implementing and certifying impure computations in Coq
Thomas Letan
4 weeks
miscellaneous
cleopatra.git
An extensible build system for literate programs and more
Thomas Letan
4 weeks
gamedev/mermaid.git
Incomplete, minimal, easy to hack game server
Thomas Letan
3 weeks
ogmios
ogmios/celtchar.git
EPUB and static website generation for ogmarkup documents
Thomas Letan
2 months
ogmios/ogmarkup.git
A lightweight markup language for story writers
Thomas Letan
8 months
ogmios/varuna.git
An ogmarkup editor in your browser
Thomas Letan
17 months
writing
writing/lthms.git
Write-ups about formal methods and functional programming
Thomas Letan
37 hours