jwiegley

Eine Sammlung zufälliger Skripte, die ich entweder selbst geschrieben, heruntergeladen oder aus #git kopiert habe.

Einfache Bibliothek für asynchrone Verarbeitung in Emacs.

Eine Einführung in die Architektur und das Design des Git-Content-Managers

Eine axiomfreie Formalisierung der Kategorietheorie in Coq für das persönliche Studium und die praktische Arbeit.

Meine .emacs.el-Datei und andere persönliche Emacs-Goodies