Explore projects
-
Alina Lenhard / IBT project template instance
Apache License 2.0This project is autogenerated, it should not be modified manually.
This project is an instance generated from the IBT project cookiecutter template: https://gitlab.kit.edu/kit/ibt-public/cookiecutter-ibtprojecttemplate.
Updated -
KIT / GPI / BFO / seismology / software-for-seismometry-linux
GNU General Public License v3.0 onlyThis is a fork of Software for Seismometry by E. Wielandt (http://www.software-for-seismometry.de/). This version is customized for Linux systems. The original project is published at http://git.scc.kit.edu/Seitosh/software-for-seismometry.
Updated -
-
KIT / IANM / AG Inverse Probleme / Software / 2023 Ta Rg Rz Waveguides Monotonicity
GNU General Public License v3.0 or laterUpdated -
An ontology that includes concepts and relations that enable the data infrassture of the circular factory.
Updated -
KIT / KASTEL / Application-oriented Formal Verification / Research Software Tools / Proof Script Debugger for the KeY System
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 -
KIT / GPI / BFO / seismology / software-for-seismometry
GNU General Public License v3.0 onlySoftware for Seismometry by E. Wielandt (http://www.software-for-seismometry.de/)
Updated -
This program was developed to extract security measures from the BSI's IT-Grundschutzkompendium.
Updated -
KIT / IAI / WebIS / ENDOR / Hardware Components
MIT LicensePCB Designs to connect sensors to a Raspberry Pi SBC
Updated -
Application to get data from DS18B12 one-wire temperature and DHT-22 temperature/humidity sensors and send to backend infrastructure
Updated -
KIT / KASTEL / Software Design and Quality (SDQ) / Research Projects / NFDIxCS / orkg-search-portal
MIT LicensePrototype web portal for searching and filtering research resources (papers, software, datasets) via the ORKG API.
Updated -
KIT / isl-ai4lt / LT-Middleware / Ltpipeline
MIT LicenseUpdated -
KIT / TM / Telematics / Congestion Control / Logging / TCPinfo
BSD 2-Clause "Simplified" LicensePython3 extension to collect information about TCP-sockets via the Linux's inet_diag interface
Updated -
Paul Werner Lödige / Force-Aware Robotic Manipulation with Movement Primitives
GNU General Public License v3.0 or laterUpdated -
-
Updated
-
Updated
-
KIT / GPI / BFO / tides / Eterna
GNU General Public License v3.0 onlyEterna - Programs for tidal analysis and prediction by Hans-Georg Wenzel
Updated -
This tutorial is given within NHR and includes an introduction to High Performance Computing (HPC) using Python.
Updated -
KIT / GPI / BFO / tides / rigtid
GNU General Public License v3.0 or laterThe program RIGTID together with its subroutines computes the tidal accelerations on a rigid earth, i. e. no response of the Earth is considered.
Updated