Open-Source Software
Ich entwickle überwiegend für die Lehre quelloffene Software unter GPL v3. Teile der Software entstammen früheren Bachelorarbeiten: Compiler und Simulator für Turing-Maschinen.Tester Unit-Testing
Tester Unit-Testing ist eine Bibliothek, um auf einfache Weise Unit-Tests für C-Code und C++-Code zu erzeugen und zu benutzen.
An der Hochschule Bremerhaven entwickelt wird es in der Lehre eingesetzt.
Theo-Inf-Werkzeuge
Die Theo-Inf-Werkzeuge sind Software-Werkzeuge, um bestimmter Konzepte der Theoretischen Informatik zu erlernen und die Beschränkungen von Computern zu erkennen. Sie bestehen aus den Komponenten
- hcc-loop -- ein Compiler für die Sprache LOOP; eine Sprache bei der bei Programmstart die Anzahl aller Schleifendurchläufe bekannt und begrenzt ist
- hcc-while -- ein Compiler für die Sprache WHILE; eine Sprache bei der Endlosschleifen möglich sind und die sonst wie LOOP funktioniert.
- hcc-tmdl-c -- ein Compiler für die Sprache TMDL mit der Turing-Maschinen definiert werden
- hcc-tmdl-run -- eine Laufzeitumgebung für kompilierte TMDL-Programme
An der Hochschule Bremerhaven entwickelt wird es in der Lehre eingesetzt.