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 werden die Werkzeuge in der Lehre eingesetzt.