Daniel Sturm's repositories
chinese-vocable-trainer
Chinese Vocable Trainer
diplomarbeit
Konzeption und Implementierung eines Übersetzungsschemas zur automatischen Verifikation von ReActor-Spezifikationen
Language:TLA000
Language:KotlinMIT000
Language:KotlinMIT000
sbt-Docker
Docker container to run the scala build tool