Open-Source Software

Tester Unit-Testing is a library to write easily unit tests for programs written in C or C++.

The software is developed at Bremerhaven University of Applied Sciences and used in teaching courses.

Theo-Inf-Werkzeuge are software tools to learn concept of theoretical computer science and to experience limits of computers. They consist of

• hcc-loop -- a compiler for the language LOOP; a language defining loop counts of every loop within the program at start time and all loop counts are finite;
• hcc-while -- a compiler for the language WHILE; a language working exactly like LOOP but allowing endlessly running loops;
• hcc-tmdl-c -- a compiler for the language TMDL; a language to define turing machines;
• hcc-tmdl-run -- a run-time environment to run compiled TDML programs.