Bruchstücke
-
Latex Note Importer für Anki
Anki ist ein Karteikartenprogramm mit Latex-Unterstützung. Allerdings ist der integrierte Editor nur bedingt vergnügungssteuerpflichtig. Sinn und Zweck dieses kleinen Aufsatzes ist es, dass ich Karteikarten nun in meinem Lieblingseditor erstellen und dann importieren kann. Er kam unter anderem bei der Erstellung der Anki-Decks zum Einsatz, die auf meiner Seite zur Lehre aufgeführt sind. -
Syndicator
Ein Python-Script, das die Synchronisations-Software Unison auf Ubuntu mit einer Dropbox-ähnlichen Oberfläche ausstattet. -
Javascript Operator Precedence Parser
Mit dieser kleinen Spielerei lässt sich die Funktionsweise eines „OPP“ Schritt für Schritt verfolgen. Der Parser versteht alles außer Hochdeutsch. - Engel (frei nach Paul Klee)