Explore projects
-
Updated
-
KIT / ETP-Lehre / PrakToolKIT / kafe2
GNU General Public License v3.0 onlyUpdated -
Updated
-
Updated
-
Enrico Paul Metzner / ARTmie
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Hands-on session covering Isabelle & the refinement framework at the group's retreat 2025
Updated -
KIT-CA interfaces that are exposed to users (mails, PDF forms, etc.).
Updated -
KIT / IANM / AG Inverse Probleme / Software / SymPy Vorkurs
GNU General Public License v3.0 or laterUpdated -
Updated
-
Updated
-
KIT / IANM / AG Inverse Probleme / Software / SymPy-hm1
GNU General Public License v3.0 or laterUpdated -
Updated
-
KIT / IFL / OpenSource / experiment_handler
MIT LicenseUpdated -
Nga Ying Lo / Musica Iasi H2oiso Postprocessing
GNU General Public License v3.0 or laterMigration (Data transfer) of musica-iasi-h2oiso-postprocessing from pilot GitLab to new GitLab
Updated -
Updated
-
David Elsing / RDCMC
GNU Affero General Public License v3.0Updated
