Explore projects
-
em0787 / Data Driven Engineering
MIT LicenseRepository of the DDE lecture series offered at KIT
Updated -
scc-net / netvs / netvs-core
MIT License** MIGRATED TO https://gitlab.kit.edu/scc-net/netvs/netvs-core **
Archived 5Updated -
zy8373 / python-kitgvapi
OtherPython bindings for the awesome KIT Gruppenverwaltung REST API.
Archived 5Updated -
This tutorial is given within NHR and includes an introduction to High Performance Computing (HPC) using Python.
Archived 4Updated -
Mpp / Mpp-PSE
GNU General Public License v3.0 onlyArchived 3Updated -
m-team / o3as / o3webapp-be-20
GNU General Public License v3.0 onlyO3webapp, the BackEnd component
Archived 3Updated -
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 -
Mpp / MLUQ
GNU General Public License v3.0 onlyArchived 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 -
scc-net / certreq
MIT LicenseAutomate certificate signing request submission to the KIT-CA
Archived 2Updated -
fb7809 / tls-request
MIT LicenseAutomate certificate signing request creation and submission to the KIT-CA
Archived 2Updated -
-
aw6481 / wps-toolbox
MIT LicenseA pyWPS based hydrological toolbox wrapped around the hydrobox toolbox.
Updated -
Updated
-
Updated
-
Updated
-
This project is moved to https://gitlab.kit.edu/kit/iism-em/lectures/iadt-exercise-2022
Archived 1Updated -
Updated