4 results found Sort:

183
3.1k
mit
107
The P programming language.
Created 2015-06-21
4,177 commits to master branch, last one 20 days ago
76
1.5k
other
38
Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.
Created 2019-08-15
661 commits to main branch, last one 2 months ago
42
335
bsd-2-clause
16
Concuerror is a stateless model checking tool for Erlang programs.
Created 2014-04-04
2,401 commits to master branch, last one 14 days ago
A library for testing concurrent C++ code and deterministically reproducing bugs.
Created 2022-08-02
2 commits to main branch, last one 2 years ago