Explore projects
-
Updated
-
scc-net / Ansible Collection Web
MIT LicenseUpdated -
Updated
-
Updated
-
scc-net / Ansible Collection Prometheus Exporter
MIT LicenseUpdated -
userscript to speed up logging into the 70 million different KIT services and portals
Updated -
KIT / KASTEL / Application-oriented Formal Verification / Research Software Tools / DIbugger – The Relational Debugger
GNU General Public License v3.0 onlyRelational Debugger.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Daniel Breuer / BTWC
ISC LicenseUpdated -
-
KIT / ETP-Lehre / PrakToolKIT / pisa
MIT LicenseUpdated -
KIT / ETP-Lehre / PrakToolKIT / MAXwel
GNU General Public License v2.0 or laterUpdated -
