AlphaUncommon
p-org/PSharp
A framework for rapid development of reliable asynchronous software.
Archived: this repository is read-only
- Owner
- p-org (organization)
- Stars
- Stars: 392
- Forks
- Forks: 38
- Language
- C#
- License
- MIT
- Created
- 2015
- Topics
- asynchronous-programmingreliabilityspecificationsautomated-testingstate-machinesdotnet
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by p-org
All 2 repos by p-org- p-org/PStars: 3,725C#RC
Nearby in C#
All C# repos- nashnie/MotionMatchingStars: 392C#Alpha
- oleg-st/ZstdSharpStars: 392C#Alpha
- oculus-samples/Unity-MovementStars: 392C#Alpha
- mattak/UniduxStars: 392C#Alpha
- damienbod/AspNetCoreOpenIddictStars: 392C#Alpha