Explore projects
-
Updated
-
Updated
-
Konrad Völkel / ds-skript
Creative Commons Attribution Share Alike 4.0 InternationalSkript zur Vorlesung Data Science im Informatik Bachelor an der HHU
Web-Version: https://voelkel.pages.cs.uni-duesseldorf.de/ds-skript
Updated -
Updated
-
Tool for translating B to TLA+ for model checking with TLC. Alternative model checking backend for ProB.
Updated -
general / stups / SableCC STUPS
GNU Lesser General Public License v2.1 onlyUpdated -
Updated
-
-
-
-
general / stups / cf-srv
Eclipse Public License 2.0Updated -
Updated
-
general / ccb / Comparative Study of HGT Inference Methods
GNU General Public License v3.0 or laterUpdated -
Updated
-
Updated
-