Discover projects, groups and snippets. Share your projects with others
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.