Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
nuget.org "systematic-testing" keyword
pcheckercore 2.0.5
The P Checker3 versions - Latest release: about 1 year ago - 1 dependent package - 2.27 thousand downloads total - 2,926 stars on GitHub - 1 maintainer
Top 9.6% on nuget.org
76 versions - Latest release: 24 days ago - 27.4 thousand downloads total - 2,926 stars on GitHub - 1 maintainer
p 2.1.3
The P Programming Language Compiler76 versions - Latest release: 24 days ago - 27.4 thousand downloads total - 2,926 stars on GitHub - 1 maintainer
microsoft.coyote.cli 1.7.11
The Coyote .NET command-line tool.61 versions - Latest release: 2 months ago - 69.4 thousand downloads total - 2 maintainers
microsoft.coyote.actors 1.7.11
The Coyote actor runtime and library.12 versions - Latest release: 2 months ago - 2 dependent packages - 80.8 thousand downloads total - 2 maintainers
microsoft.coyote 1.7.11
Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.78 versions - Latest release: 2 months ago - 2 dependent packages - 1.14 million downloads total - 2 maintainers
microsoft.coyote.core 1.7.11
The Coyote core libraries and runtime.12 versions - Latest release: 2 months ago - 3 dependent packages - 82 thousand downloads total - 2 maintainers
microsoft.coyote.tool 1.7.11
The self-contained Coyote command-line tool.12 versions - Latest release: 2 months ago - 23.6 thousand downloads total - 2 maintainers
microsoft.coyote.test 1.7.11
The Coyote systematic testing engine.57 versions - Latest release: 2 months ago - 1 dependent package - 152 thousand downloads total - 2 maintainers
pcompiler 1.0.1
The P Language Compiler2 versions - Latest release: over 3 years ago - 739 downloads total - 2,920 stars on GitHub - 1 maintainer
pcsharpruntime 2.0.5
The P Programming Language C# Runtime33 versions - Latest release: about 1 year ago - 881 thousand downloads total - 2,920 stars on GitHub - 1 maintainer
Related Keywords
csharp
5
dotnet
5
concurrency
5
specifications
5
asynchronous
5
state-machine
4
robotics
4
programming-language
4
p
4
model-checking
4
distributed-systems
4
event-driven
4
formal-methods
4
formal-verification
4
checkers
3
model
3
machines
3
state
3
asynchrony
3
safe
3
language
3
programming
3
P
3
cli
1
tool
1
actors
1
state-machines
1
reactive
1