Discover projects, groups and snippets. Share your projects with others
A Java library for Omega-words, ω-automata and Linear Temporal Logic (LTL). Batteries included.
Repository for the development of calculix in the context of the project Ascent AM
An open source framework for the simulation of microscopic pedestrian dynamics.