Marckvdv

Pinned Repositories

BunnymodXT
Speedrun and TAS tool for Half-Life & friends.
Language:C++0 1 00
chatterino2
Chat client for twitch.tv
Language:C++00
dd
Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
Language:Python0 1 00
e-reeder
Language:JavaScript0 2 01
learnmdp
Language:Python00
Marckvdv.github.io
Language:HTML01
memdp_benchmark
Language:Python0 1 00
morejpegbot
Language:Python01
RustyChat
Chat server and client written in Rust for practice, not made for actual use :)
Language:Rust0 2 02

Marckvdv's Repositories

Marckvdv/BunnymodXT
Speedrun and TAS tool for Half-Life & friends.
Language:C++0 1 00
Marckvdv/chatterino2
Chat client for twitch.tv
Language:C++00
Marckvdv/dd
Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
Language:Python0 1 00
Marckvdv/e-reeder
Language:JavaScript0 2 01
Marckvdv/learnmdp
Language:Python00
Marckvdv/Marckvdv.github.io
Language:HTML01
Marckvdv/memdp_benchmark
Language:Python0 1 00
Marckvdv/morejpegbot
Language:Python01
Marckvdv/RustyChat
Chat server and client written in Rust for practice, not made for actual use :)
Language:Rust0 2 02
Marckvdv/storm
A Modern Probabilistic Model Checker
Language:C++1 0
Marckvdv/storm-compositional
Language:C++4 0