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