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