The DataCenter DataBase

Repository for the development of calculix in the context of the project Ascent AM

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

An open source framework for the simulation of microscopic pedestrian dynamics.

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

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

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

Münchner Physik-Kolloquium

Organisation des Münchner Physik-Kolloquiums, Termine für das kommende Semester.

Explicit Reactive Synthesis from LTL specifications

Extendable Translating Instruction Set Simulator (ETISS)

A tool for simulation & verification of population protocols.

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

The config for the FHIaims buildbot master.

Resources related to the RDA working group "Data Usage Metrics"

See:

https://rd-alliance.org/groups/data-usage-metrics-wg https://peerj.com/preprints/26505.pdf