2 results found Sort:

affeldt-aist
monae affeldt-aist
13
70
lgpl-2.1
6
Monadic effects and equational reasonig in Coq
monads mathcomp math-comp ssreflect nondeterminism monadic-effects monad-transformers probabilistic-programming
Created 2018-08-06
684 commits to master branch, last one a day ago
microsoft
cpp-systematic-testing microsoft
6
43
other
4
A library for testing concurrent C++ code and deterministically reproducing bugs.
cpp testing concurrency nondeterminism systematic-testing software-reliability
Created 2022-08-02
2 commits to main branch, last one 2 years ago