GitHub topics: systematic-testing
p-org/P
The P programming language.
Language: C# - Size: 143 MB - Last synced at: about 6 hours ago - Pushed at: about 6 hours ago - Stars: 3,279 - Forks: 194
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: 6 days ago - Pushed at: 5 months ago - Stars: 1,537 - Forks: 78
parapluu/Concuerror
Concuerror is a stateless model checking tool for Erlang programs.
Language: Erlang - Size: 10.5 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 338 - Forks: 42
microsoft/cpp-systematic-testing
A library for testing concurrent C++ code and deterministically reproducing bugs.
Language: C++ - Size: 31.3 KB - Last synced at: 10 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: 8 days ago - Pushed at: almost 6 years ago - Stars: 12 - Forks: 1
FAIMS/trap-gridded-survey
Archaeology: A systematic surface field survey in the Mediterranean
Language: Java - Size: 35.4 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - 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: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - 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: about 2 months ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 0
urasandesu/Bondage
This is an infrastructure to construct distributed application under the control of P#.
Language: C# - Size: 146 KB - Last synced at: about 2 months ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0