Pinned Repositories
Arxana
Arxana is a next-generation hypertext system that emphasizes annotation.
AsteroidMetaArchive
Archive of an old Oddmuse wiki (converted to Org mode)
linepad
emacs client for etherpad-lite
mathgame
Math for game designers course examples
metaca
with apologies to douglas hofstadter, melanie mitchell, and james marshall
mmtn
A LISP MUD.
planetmath-docs
Documentation for the PlanetMath website and organization to be read in combination with the Planetary issue tracker.
rudel
A collaborative editing framework for Emacs
toki-pona-emoji
a proposed translation of toki pona lexicon into github emoji
holtzermann17's Repositories
holtzermann17/toki-pona-emoji
a proposed translation of toki pona lexicon into github emoji
holtzermann17/AsteroidMetaArchive
Archive of an old Oddmuse wiki (converted to Org mode)
holtzermann17/Modelling-Serendipity-in-a-Computational-Context
holtzermann17/banathy-report
Reading Desiging Social Systems in a Changing world
holtzermann17/cider-restart-in-docker
Minimal demonstration of a refreshable Clojure app inside a Docker container
holtzermann17/ejc-sql
Emacs SQL client uses Clojure JDBC.
holtzermann17/emacs-theme-gruvbox
Gruvbox is a retro groove color scheme for Emacs. Port of the Vim version.
holtzermann17/ethics-hccc-treatment
Short treatment of HCCC ethics paper
holtzermann17/fetch-all-github-repos
holtzermann17/firn
Org Mode Static Site Generator
holtzermann17/foam-repo
Trying FOAM
holtzermann17/gdrive
Google Drive CLI Client
holtzermann17/helm
Emacs incremental completion and selection narrowing framework
holtzermann17/kosa-crux
Publisher and Library service written in Clojure + Crux.
holtzermann17/lean-mode-contrib
holtzermann17/lean_experiments
experiments with simple continuity proofs in Lean
holtzermann17/lein-catapult
TCP/IP -> Drawbridge nREPL proxy
holtzermann17/logseq
Notes from Logseq
holtzermann17/mathematica
Lean-independent implementation of the MM-Lean link
holtzermann17/mathlib
Lean mathematical components library
holtzermann17/mm-lean
holtzermann17/PatternsOfPatternsII
Draft work for PLoP2023
holtzermann17/plotly4-testing
holtzermann17/ReadingGroup
Notes from the 2019 Augment Peeragogy Handbook v3 reading group
holtzermann17/saml20-clj
A Clojure SAML 2.0 library for SSO
holtzermann17/smt-lean
holtzermann17/Springer-Lecture-Notes-in-Computer-Science
holtzermann17/theorem_proving_in_lean
Theorem proving in Lean
holtzermann17/XBIB
holtzermann17/xena
Lean Library currently studying for a degree at Imperial College