Explore projects
-
em0787 / Data Driven Engineering
MIT LicenseRepository of the DDE lecture series offered at KIT
Updated -
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 -
-
aw6481 / wps-toolbox
MIT LicenseA pyWPS based hydrological toolbox wrapped around the hydrobox toolbox.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
qs4580 / iehWetterInfluxDbPythonDemo
MIT LicenseUpdated -
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 -
Updated
-
Updated
-
-
-
-
Updated
-
Updated
-
AK Open-Source-Software / template-instance
MIT LicenseThis is an example instance derived from the cookiecutter template. Please do not make any changes to this instance repository but directly to the cookiecutter template repository as they will be overwritten otherwise.
Updated