Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
An open source framework for the simulation of microscopic pedestrian dynamics.
-
A Java library for Omega-words, ω-automata and Linear Temporal Logic (LTL). Batteries included.
-
-
Source code of publication from the Chair of Security in Information Technology of the Technical University of Munich
-
Standardised build environments for owl, rabinizer, and prism.
-
The code accompanies the publication "An Uncertainty-based Control Lyapunov Approachfor Control-affine Systems Modeled by Gaussian Process" by Jonas Umlauft, Lukas Pöhler, Sandra Hirche published in IEEE Control Systems Letters (L-CSS) in 2018
-
Repository for the development of calculix in the context of the project Ascent AM
-
Tools to render different mazes in the ball (body-fixed) Virtual Reality
-
-
Repository for the materials of the BMT course in the winter term 2018/19
-
Space-Filling Curves and Adaptive Meshes for Oceanic And Other Applications.
-
Dokumentation für Git in Visual Studio
-
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.
-
-
Beautiful Robot C++ Code Library
-
-
LLNL_ToFi is a small python code for tomographic filtering of hypothetical seismic mantle structure (vs or vp) using the resolution matrix of the LLNL-G3D-JPS model by Simmons et al. (2015).
-
Explicit Reactive Synthesis from LTL specifications