Marckvdv's repositories
BunnymodXT
Speedrun and TAS tool for Half-Life & friends.
Language:C++NOASSERTION000
chatterino2
Chat client for twitch.tv
Language:C++MIT000
dd
Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
Language:PythonNOASSERTION000
Language:JavaScript000
Language:Python000
Language:HTML000
Language:Python000
Language:Python000
RustyChat
Chat server and client written in Rust for practice, not made for actual use :)
Language:Rust000
storm
A Modern Probabilistic Model Checker
Language:C++GPL-3.0000
Language:C++GPL-3.0000