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

elsa - an elegant framework for tomographic reconstruction

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