Explore projects
-
reg-app / Regapp
GNU General Public License v3.0 onlyArchived 1Updated -
Updated
-
Updated
-
PSE Typinferenz / Typicalc
GNU General Public License v3.0 or laterImplementierung. REPOSITORY WURDE ZUM NEUEN GITLAB MIGRIERT: https://gitlab.kit.edu/uskyk/typicalc
Archived 2Updated -
Updated
-
Updated
-
-
Updated
-
Updated
-
wl4565 / endit-provider
GNU Affero General Public License v3.0Updated -
-
CIPM for Lua IIoT Applications / Commit Based Continuous Integration Of Performance Models
Eclipse Public License 1.0Updated -
UpdatedUpdated
-
-
Dieses Projekt ist archiviert. Die Weiterentwicklung findet auf https://gitlab.kit.edu/kit/kastel/afv/tools/keyjoana statt.
Tools for combining KeY with Joana.
Archived 0Updated -
i57 / dibugger
GNU General Public License v3.0 onlyDieses Projekt ist archiviert. Die Weiterentwicklung findet auf https://gitlab.kit.edu/kit/kastel/afv/tools/dibugger statt.
Relational Debugger.
Archived 0Updated -
fp2188 / ProofScriptParser
GNU General Public License v3.0 onlyGrammar and parser for a proof scripting language for performing proofs using the KeY System (www.key-project.org). Fork of Sarah Grebing's work.
Updated -
CIPM for Lua IIoT Applications / CIPM Pipeline
Eclipse Public License 2.0Updated