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

The DataCenter DataBase

Software to generate material models for FEM software from experimental data

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

Extendable Translating Instruction Set Simulator (ETISS)

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

Explicit Reactive Synthesis from LTL specifications

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

This is a Co-Array Fortran Cumputer Fluid Dynamics Solver

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

Decision Procedure for Metric Spaces in Isabelle/HOL.

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

A tool for simulation & verification of population protocols.

Beautiful Robot C++ Code Library

Münchner Physik-Kolloquium

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