Explore projects
-
m-team / o3as / o3webapp-be-20
GNU General Public License v3.0 onlyO3webapp, the BackEnd component
Archived 3Updated -
-
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 -
matrix4kit / documentation
Creative Commons Zero v1.0 UniversalArchived 1Updated -
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 -
zml / interactive-videoplayer
MIT LicenseUpdated -
-
Updated
-
Updated
-
-
reg-app / Regapp
GNU General Public License v3.0 onlyArchived 1Updated -
ComPlat / Xvial
MIT LicenseUpdated -
-
ufylh / twt aas web gui
MIT LicenseUpdated -
Updated
-
von-bis-public / GitBoardMobile
GNU General Public License v3.0 or laterAn open-source app for better Git-board experience on mobile systems.
Updated -
Updated
-
unvhj / Gui
MIT LicenseUpdated