Explore projects
-
-
archived 3Updated
-
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 -
How to do initial forensics on an 0wned linux box
archived 2Updated -
Folien für mein Tutorium zu Algorithmen I im Sommersemester 2017 am KIT.
Updated -
aw6481 / wps-toolbox
MIT LicenseA pyWPS based hydrological toolbox wrapped around the hydrobox toolbox.
Updated -
Updated
-
scc-net / certreq
MIT LicenseAutomate certificate signing request submission to the KIT-CA
archived 2Updated -
Updated