nondeterminism topic
List
nondeterminism repositories
trafficstars
monae
67
Stars
10
Forks
Watchers
Monadic effects and equational reasonig in Coq
cpp-systematic-testing
37
Stars
6
Forks
Watchers
A library for testing concurrent C++ code and deterministically reproducing bugs.