test cases for Data.Set.fromDistinctAscList(N)
bounded model checker
Texte, Software, Beispiele zur Computermusik
Certified Termination in Agda
software zur Formalen Begriffsanalyse (formal concept analysis)
fork of https://github.com/noschinl/cyp for use with Leipzig autotool