Explore projects
-
-
jz9384 / reg-app-dev
GNU General Public License v3.0 onlyUpdated -
InformatikDKVorstand / dokuKIT
GNU General Public License v2.0 or laterDokuWiki template following the corporate design of KIT, adapted for https://doktorandenkonvent.informatik.kit.edu/wiki/.
Updated -
Updated
-
jz9384 / reg-app
GNU General Public License v3.0 onlyUpdated -
A simple web-based tool for collecting structured data from multiple parties (e.g., to conduct a collaborative survey)
Updated -
ubedv / SkatMan
BSD 3-Clause "New" or "Revised" LicenseArchived 0Updated -
-
ComPlat / noVNC
Creative Commons Attribution Share Alike 3.0 UnportedUpdated -
-
ComPlat / lit
MIT LicenseUpdated -
Updated
-
-
gy4443 / chemotion_eln_server
GNU Affero General Public License v3.0Updated -
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 -
-
Did you ever find yourself home bored and not knowing, what to do? Maybe we have the answer for that problem! The Fun Generator! It finds all the activities you could be interested in near you. Good Food? Funny Places? Chilled walks? Give us some par
Updated -
-
The BufferManager manages a data buffer. It is a part of dams-ppkit (Data Acquisition and Management Software - for Physikalisches Praktikum at Karlsruher Institut für Technologie).
Updated -
The BufferManager manages a data buffer. It is a part of dams-ppkit (Data Acquisition and Management Software - for Physikalisches Praktikum at Karlsruher Institut für Technologie).
Updated