Nachdem ich programmiertechnisch so ziemlich alles andere durch hatte, habe ich ein Betriebssystem geschrieben.

Ich betreibe unter http://wyoos.org auch eine Webseite mit einer Video-Reihe über Betriebssystem-Entwicklung.

Ein Graphentheorie-Framework für C++, für das ich alle möglichen Algorithmen implementiert habe. Der Fokus liegt auf der Implementierung komplexer Optimierungs-Verfahren, durch die auch für algorithmisch schwere Probleme gute Laufzeiten erreicht werden.

Ein Parsergenerator, der für LL(1)-Grammatiken einen Recursive-Descent-Parser erzeugt. Er kann auch schon SLR(1) Parser erzeugen und an LR(1) arbeite ich noch.

Ein Compiler für die Programmiersprache BPS aus der Compilerbau Vorlesung. Der Compiler erzeugt Zwischencode für AM bzw. ZPP und in den virtuellen Maschinen kann man die erzeugten Codes laufen lassen, sodass man sie auch in Aktion sehen kann.

Bei Gelegenheit will ich das auch mal nach WebAssembly übersetzen, damit es direkt im Browser lauffähig ist.

Ein Assembler und eine dazu passende Virtuelle Maschine, die in JavaScript geschrieben sind. Dadurch kann man im Browser quasi Bytecode ausführen. Damit will ich darauf hinaus, die Kluft zwischen Desktop- und Webprogrammierung zu schließen und/oder es ermöglichen, Java Applets in Webseiten einbinden zu können, für die der Besucher kein Java Browser-Plugin installiert haben muss.

Einige Interpreter:

• Turingmaschinen inklusive einer Implementierung von Marvin Minskys Universeller Turingmaschine und einer davon abgeleiteten Turingmaschine, die zwei Turingmaschinen parallel simulieren kann.
• Die minimalistischen, aber Turing-Vollständigen Programmiersprachen GOTO und WHILE
• Die minimalistische und NICHT Turing-Vollständige Programmiersprache LOOP, die äquivalent zu primitiv-rekursiven Funktionen ist
• Die Turing-Vollständige, mathematische "Programmiersprache" μ-Rekursion. μ-Rekursion ist eine echte Obermenge der primitiven Rekursionen, welche äquivalent zur Programmiersprache LOOP ist.
• Pure Lambda Calculus für die minimalistische, Turing-Vollständige, funktionale Programmiersprache, den reinen λ-Kalkül.
• TUpl für die logische Programmiersprache Prolog (Ich arbeite auch an einem Lehrbuch über Prolog)

Ein Programm zur Systemoptimierung, das recht weite Verbreitung gefunden hat.