Explore projects
-
Updated
-
-
KIT / KASTEL / Application-oriented Formal Verification / Research Software Tools / DIbugger – The Relational Debugger
GNU General Public License v3.0 onlyRelational Debugger.
Updated -
KIT / ZML / Projekte / interactive-videoplayer
MIT LicenseUpdatedUpdated -
Updated
-
Updated
-
Updated
-
Updated
-
KIT / IAI / STI / Ansible / Ansible Role Nginx Config
Apache License 2.0Updated -
KIT / GPI / AG / Software / SOFI3D
GNU General Public License v2.0 or later3D finite-difference seismic wave simulation
Updated -
KIT / GPI / AG / Software / SOFI2D_SH
GNU General Public License v2.0 or later2D finite-difference SH-wave simulation
Updated -
Updated
-
A LaTeX template for articles of the DGG100 series "Geophysik im Wandel"
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 -
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 -
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