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/planetmath-docs
Documentation for the PlanetMath website and organization to be read in combination with the Planetary issue tracker.
holtzermann17/mathgame
Math for game designers course examples
holtzermann17/metaca
with apologies to douglas hofstadter, melanie mitchell, and james marshall
holtzermann17/serendipity
Modelling serendipity in a computational context
holtzermann17/drupal_planetary
My fork of the drupal_planetary repo
holtzermann17/FloWrTester
Test ProcessNode combinations using the FloWr web API
holtzermann17/nnexus
nnexus
holtzermann17/authoreaTest
holtzermann17/bibserver
BibServer is open-source software what makes it easy to publish, manage and find bibliographies. BibServer is RESTful and web-friendly.
holtzermann17/caps-mode
(minor mode) letters are inserted capitalized
holtzermann17/command-log-mode
log commands to buffer
holtzermann17/conch
A flexible library for shelling out in Clojure
holtzermann17/cucumber-jvm
Cucumber for the JVM
holtzermann17/dissertation-single-spaced
Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
holtzermann17/emacsconf-organisation
EmacsConf organisation
holtzermann17/emerge2012-paragogy-paper
holtzermann17/feedback
learning from feedback
holtzermann17/ICCC2015
Paper on mathematics, creativity and blending for ICCC2015
holtzermann17/key-mon
Automatically exported from code.google.com/p/key-mon
holtzermann17/LaTeXML-Plugin-ltxmojo
A Mojolicious web service for LaTeXML
holtzermann17/OSQA
Trial the idea of building nonstarter.org using OSQA.
holtzermann17/pdbooks
public domain books project
holtzermann17/Peeragogy-Pattern-Catalogue---Outtakes
holtzermann17/Peeragogy.github.io
Github Pages (Jekyll) for Peeragogy.org
holtzermann17/polya
A heuristic procedure for proving inequalities
holtzermann17/py-blot
Blotter pad to update with python
holtzermann17/shared-buffer
Collaberative editing in Emacs
holtzermann17/skelodml
Testing skelml
holtzermann17/solarized-emacs
The Solarized colour theme, ported to Emacs.
holtzermann17/test-driven-development
Test driven development in Emacs