Explore projects

bounded model checker

Texte, Software, Beispiele zur Computermusik

Praktische Aufgaben zur Signalverarbeitung

Certified Termination in Agda

Just testing if Gitlab pages works on this instance.

software zur Formalen Begriffsanalyse (formal concept analysis)

fork of https://github.com/noschinl/cyp for use with Leipzig autotool

Calendar implementation for the HTWK Leipzig timetable. Evaluation and display of the individual dates in iCal format. https://cal.htwk-leipzig.de This Repository will be archived, switch to https://gitlab.dit.htwk-leipzig.de/htwk-software/htwkalender