dom-verity
Category Theorist and programmer by day, bad drummer by night.
Macquarie UniversityNorth Ryde, Sydney, NSW 2109, Australia
Pinned Repositories
dom-verity.github.io
Dom
emacs-prelude
Prelude is an enhanced Emacs 25.1+ distribution that should make your experience with Emacs both more pleasant and more powerful.
entangled.py
Python port of Entangled
homebrew-local
A homebrew tap containing Dom's custom / local formulae.
homebrew-zathura
Homebrew formulae to build Zathura on Mac OS X
lmt
literate markdown tangle
spell-check
Spell check Atom package
tree-sitter-elpi
Tree sitter parser for the ELPI (Lambda Prolog) programming language
elements-book.github.io
Homepage for projects associated with the book "Elements of ∞-Category Theory"
dom-verity's Repositories
dom-verity/dom-verity.github.io
Dom
dom-verity/emacs-prelude
Prelude is an enhanced Emacs 25.1+ distribution that should make your experience with Emacs both more pleasant and more powerful.
dom-verity/entangled.py
Python port of Entangled
dom-verity/homebrew-local
A homebrew tap containing Dom's custom / local formulae.
dom-verity/homebrew-zathura
Homebrew formulae to build Zathura on Mac OS X
dom-verity/lmt
literate markdown tangle
dom-verity/spell-check
Spell check Atom package
dom-verity/tree-sitter-elpi
Tree sitter parser for the ELPI (Lambda Prolog) programming language