Explore projects

View Combinations of KeY with Joana project

KIT / KASTEL / Application-oriented Formal Verification / Research Software Tools / Combinations of KeY with Joana

Tools for combining KeY with Joana.

0

Updated Mar 12, 2024

0 0 0 0

Updated Mar 12, 2024
View Piveau Hub Ui Modules project

Felix Schmitt / Piveau Hub Ui Modules
Other

0

Updated Feb 28, 2025

0 0 0 0

Updated Feb 28, 2025
View eis_data_visualization project

Leonid Chaichenets / eis_data_visualization

0

Updated Aug 07, 2024

0 0 0 0

Updated Aug 07, 2024
View pixeltut project

Thomas Oltmann / pixeltut

0

Updated Dec 19, 2025

0 1 0 0

Updated Dec 19, 2025
View restartBrokenSystemDUnit project

KIT / KIT-CERT / Migrated from git.scc.kit.edu / restartBrokenSystemDUnit
Apache License 2.0

Restart rsyslog when GnuTLs crashes inside librelp

0

Updated Dec 07, 2023

0 0 0 0

Updated Dec 07, 2023
View My awesome test project project

Lisa Keller / My awesome test project

0

Updated Jul 21, 2023

0 0 0 0

Updated Jul 21, 2023
View documentation project

KIT / matrix4kit / documentation
Creative Commons Zero v1.0 Universal

Forked from https://github.com/matrix-tu-dresden-de/Dokumentation

0

Updated Jan 19, 2026

0 0 0 4

Updated Jan 19, 2026
View Solidarische Raumnutzung project

Johannes Patrick Simeon Frohnmeyer / Solidarische Raumnutzung

0

Updated Nov 11, 2024

0 0 0 0

Updated Nov 11, 2024
View bpart-host project

KIT / TECO / Open Source Software / bpart-host
MIT License

Mirror of https://github.com/teco-kit/bpart-host

0

Updated Jun 30, 2024

0 0 0 0

Updated Jun 30, 2024
View minim project

Lucas Wäldele / minim

0

Updated Jun 26, 2024

0 0 0 0

Updated Jun 26, 2024
View BDA Case Challenge project

David Borukhson / BDA Case Challenge

Clustering Gruppe 2

0

Updated Feb 03, 2025

0 0 0 0

Updated Feb 03, 2025
View Scientific English project

KIT / KASTEL / Software Design and Quality (SDQ) / Learning Group / Scientific English

0

Updated Jan 10, 2024

0 0 0 0

Updated Jan 10, 2024
View KSP-Vorlage-A4-DE-Diss project

KIT / KSP / KSP-Vorlage-A4-DE-Diss

0

Updated Apr 08, 2024

0 0 0 0

Updated Apr 08, 2024
View opencap project

Marco Christian Björn Kugler / opencap
Apache License 2.0

Utilities for processing OpenCap data.

0

Updated Jun 30, 2025

0 0 0 0

Updated Jun 30, 2025
View cameratrap project

Felix Dehon / cameratrap

0

Updated Sep 11, 2025

0 0 0 0

Updated Sep 11, 2025
View scc-netvs-go project

KIT / KIT-CA / Migrated from git.scc.kit.edu / scc-netvs-go

0

Updated Dec 07, 2023

0 0 0 0

Updated Dec 07, 2023
View Android Test App project

KIT / AIFB / Betriebliche Informationssysteme / KIT-BIS / MobileAppKITestplattform / Android Test App
MIT License

0

Updated Feb 18, 2025

0 0 0 0

Updated Feb 18, 2025
View aisscv-hpc-yolov8 project

Ruize Dai / aisscv-hpc-yolov8

0

Updated Mar 21, 2025

0 0 0 0

Updated Mar 21, 2025
View python-kitad project

Jens Kleineheismann / python-kitad

Command line tool to make common queries to the KIT Active Directory

0

Updated Nov 30, 2023

0 0 0 0

Updated Nov 30, 2023
View NFDIxCS Artifact Evaluation Platform Docker project

KIT / KASTEL / Software Design and Quality (SDQ) / Research Projects / NFDIxCS / NFDIxCS Artifact Evaluation Platform Docker
MIT License

The docker compose setup for the NFDIxCS Artifact Evaluation Platform.

Docker

0

Updated Nov 12, 2025

0 1 0 0

Updated Nov 12, 2025

Help | Imprint | Privacy policy | Accessibility | Contact