Topic: "systematic-testing"
p-org/P
The P programming language.
Language: C# - Size: 153 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 3,298 - Forks: 195
microsoft/coyote
Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.
Language: C# - Size: 20 MB - Last synced at: 4 days ago - Pushed at: 6 months ago - Stars: 1,551 - Forks: 78
parapluu/Concuerror
Concuerror is a stateless model checking tool for Erlang programs.
Language: Erlang - Size: 10.5 MB - Last synced at: 18 days ago - Pushed at: about 2 months ago - Stars: 338 - Forks: 43
microsoft/cpp-systematic-testing
A library for testing concurrent C++ code and deterministically reproducing bugs.
Language: C++ - Size: 31.3 KB - Last synced at: 4 days ago - Pushed at: over 2 years ago - Stars: 44 - Forks: 6
p-org/typescript-actors 📦
State machine and actor libraries for TypeScript/JavaScript.
Language: TypeScript - Size: 48.8 KB - Last synced at: 17 days ago - Pushed at: almost 6 years ago - Stars: 12 - Forks: 1
urasandesu/Bondage
This is an infrastructure to construct distributed application under the control of P#.
Language: C# - Size: 146 KB - Last synced at: 3 months ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0
urasandesu/PSharpPractice
This repository is going to be the practical sample collection of P#.
Language: C# - Size: 77.1 KB - Last synced at: 3 months ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 0
QuizeCapital/Return.On.Invested.Capital
Return On Invested Capital - This repository contains files that demonstrate Quantitative systematic investment strategy using Return On Invested Capital as a single factor strategy.
Language: Python - Size: 5.36 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
FAIMS/trap-gridded-survey
Archaeology: A systematic surface field survey in the Mediterranean
Language: Java - Size: 35.4 MB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
