MARS LIFE is a modelling framework for agent-based simulations.
It provides the following features:
* Agent definitions
* Layer definitions
* Integration of GIS spatial data like raster-files (*.asc, *.geotiff) and
This package contains the most used interfaces when a multi-agent simulation is created.
For more details how to use MARS, please use the handbook:
The runtime core provides step-based execution for
multi-agent simulations in distributed environments as well as polyglot result output with different output types such as (MongoDB, PostgreSQL, Redis, CSV, GeoJson Socket, ...).
For furher details please use the...
Sim# aims to port the concepts used in SimPy (https://pypi.python.org/pypi/simpy) to the .NET world. It is implemented in C# and builds on the .NET Framework 4.5 / .NET Standard 2.0. Sim# uses an efficient event queue (adapted from https://github.com/BlueRaja/High-Speed-Priority-Queue-for-C-Sharp)....
S# ("safety sharp") is a formal modeling and safety analysis framework for safety-critical systems developed by the Institute for Software and Systems Engineering at the University of Augsburg. S# provides a domain specific modeling language and fully automated formal safety analysis tools based on...