Matthias Volk's Projects
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
Create and revise bibtex entries from DBLP
Python library for dynamic fault tree analysis
Python library for Generalized Stochastic Petri Nets (GSPNs)
The Git repository for the mCRL2 toolset.
Concurrent decision diagram framework written in Rust
Probabilistic models stemming from playful scenarios
Seamless operability between C++11 and Python
Python bindings for carl
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
A Modern Probabilistic Model Checker
Storm website
Python Bindings for the Probabilistic Model Checker Storm
Implementation of multi-core (binary) decision diagrams
Travis CI build charts
Personal webpage