Explore projects
-
ComPlat / chemotion_eln_server
GNU Affero General Public License v3.0Updated -
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 -
sarah.grebing / 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)
Updated -
matrix4kit / documentation
Creative Commons Zero v1.0 UniversalArchived 1Updated -
Project repository for "Artificial Intelligence in Service Systems - Applications in Computer Vision" in the summer term 2022 at KIT.
By: Davinny, Dominik, Kai & Sven
Updated -
zml / interactive-videoplayer
MIT LicenseUpdated -
reg-app / Regapp
GNU General Public License v3.0 onlyArchived 1Updated -
ComPlat / Xvial
MIT LicenseUpdated -
-
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 -
ungep / ReGuard Finder
MIT LicenseThis plugin locates potential Injections of PE files into the running process.
Updated -
Updated
-
-
Updated
-
Updated
-
Updated
-
Updated
-