Explore projects
-
Klonen Sie dieses Projekt, um herauszufinden, wie Merges funktionieren.
Updated -
em0787 / Data Driven Engineering
MIT LicenseRepository of the DDE lecture series offered at KIT
Updated -
Die PSE-Tipps und -Tricks sind umgezogen nach https://sdq.kastel.kit.edu/wiki/Praxis_der_Software-Entwicklung/Tipps_und_Tricks
Updated -
ComPlat / chemotion_eln_server
GNU Affero General Public License v3.0Updated -
Updated
-
An application that reads a cookiecutter.json file and parses it to a webform.
Updated -
Updated
-
Updated
-
O3webapp component of the O3as service to provide web GUI interface
Updated -
-
-
-
A theme for the LaTeX Beamer document class for typesetting presentations according to the KIT corporate design guidelines
Updated -
Visualization tool for volumetric scalar data using run length encoding to speed up data transfer between GPU and CPU
Updated -
This space is intended for documentation and any information for our coffee drinkers and maintainers in buildings 441 and 449.
Updated -
-
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 -
Dies ist eine inoffizielle DIN-A0-Poster-Vorlage im KIT-Design für Inkscape (svg-Datei).
Updated