Explore projects
-
-
Updated
-
PSE Typinferenz / Typicalc
GNU General Public License v3.0 or laterImplementierung. REPOSITORY WURDE ZUM NEUEN GITLAB MIGRIERT: https://gitlab.kit.edu/uskyk/typicalc
archived 2Updated -
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 -
Mpp / MLUQ
GNU General Public License v3.0 onlyarchived 2Updated -
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 -
fb7809 / tls-request
MIT LicenseAutomate certificate signing request creation and submission to the KIT-CA
archived 2Updated -
Dies ist eine inoffizielle DIN-A0-Poster-Vorlage im KIT-Design für Inkscape (svg-Datei).
Updated -
-
GPIAG-Software / IFOS2D
GNU General Public License v2.0 or later2D elastic full waveform inversion code
Updated -
aw6481 / wps-toolbox
MIT LicenseA pyWPS based hydrological toolbox wrapped around the hydrobox toolbox.
Updated -
scc-net / certreq
MIT LicenseAutomate certificate signing request submission to the KIT-CA
archived 2Updated -
-
Updated
-
dG-Maxwell / TiMaxdG
GNU Lesser General Public License v2.1 onlyarchived 1Updated -