A tool for simulation & verification of population protocols.

open VADERE project

Space-Filling Curves and Adaptive Meshes for Oceanic And Other Applications.

Tools to render different mazes in the ball (body-fixed) Virtual Reality

Eine domänenspezifische Sprache für das Mittellateinische Wörterbuch (http://www.mlw.badw.de/)

A Java library for Omega-words, ω-automata and Linear Temporal Logic (LTL). Batteries included.

Information about the LMUcard VLANs, DHCP settings and LAN-Wall-Sockets.

Repository is used to submit data with LRZ.

This is the buildslave template for the FHIaims buildbot.

The config for the FHIaims buildbot master.

Repository for the materials of the BMT course in the winter term 2018/19

DHParser - Toolchain for Domain Specific Notations in the Digital Humanities.

The code accompanies the publication "An Event-triggered Adaptive Feedback Linearizing Control Law using Gaussian Processes" by Jonas Umlauft and Sandra Hirche

Gadget3 tools