Explore projects
-
Updated
-
Updated
-
Updated
-
Updated
-
All our docker images are built from here
Updated -
Updated
-
Updated
-
-
Updated
-
Analysis tool for hybrid Petri nets with general transitions.
Updated -
Updated
-
Updated
-
Updated
-
Consists of one monumental .bib-file to be included as a git submodule
Updated -
Vorlagen für die Knobelstunde des LearningCenter Informatik.
Updated -
Core library containing basic functions dealing with biological sequences, domains, phylogeny and related data.
Updated