Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
An open source framework for the simulation of microscopic pedestrian dynamics.
-
Lernmaterialien, Übungsblätter, Lösungen etc.
-
Space-Filling Curves and Adaptive Meshes for Oceanic And Other Applications.
-
Analysis scripts/methods for the ball Virtual Reality setup.
-
A tool for simulation & verification of population protocols.
-
Eine domänenspezifische Sprache für das Mittellateinische Wörterbuch (http://www.mlw.badw.de/)
-
DHParser - Toolchain for Domain Specific Notations in the Digital Humanities.
-
Münchner Physik-Kolloquium
Organisation des Münchner Physik-Kolloquiums, Termine für das kommende Semester.
-
open_BEA project
-
-
The DataCenter DataBase
-
The ExaHyPE repository containing the main ExaHyPE code, generic kernels, the toolkit, the Peano glue code but no binaries. Watch the issues and wiki section!
-
-
Software for techno-economic Simulation of Stationary Energy Storage Systems
-
CBAS 16S Amplicon data for different projects
-
Repository for the development of calculix in the context of the project Ascent AM
-
Explicit Reactive Synthesis from LTL specifications
-
Verification of Population Protocols
