Marckvdv/storm
A Modern Probabilistic Model Checker
Repositories
Marckvdv/Marckvdv.github.io
Marckvdv/storm-compositional
Marckvdv/memdp_benchmark
Marckvdv/learnmdp
Marckvdv/chatterino2
Chat client for twitch.tv
Marckvdv/dd
Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
Marckvdv/e-reeder
Marckvdv/morejpegbot
Marckvdv/RustyChat
Chat server and client written in Rust for practice, not made for actual use :)
Marckvdv/BunnymodXT
Speedrun and TAS tool for Half-Life & friends.