# p-org/PSharp

<https://repo.masters-masters.com/en/repos/p-org/PSharp>

[Home](https://repo.masters-masters.com/en) › [p-org](https://repo.masters-masters.com/en/owners/p-org) › [PSharp](https://repo.masters-masters.com/en/repos/p-org/PSharp)

p-org/PSharp has 392 stars on GitHub. Its RepoMasters card: Alpha tier. A framework for rapid development of reliable asynchronous software. Language: C\#.

| Field | Value |
| --- | --- |
| Owner | [p-org](https://repo.masters-masters.com/en/owners/p-org) |
| Stars | 392 |
| Forks | 38 |
| Language | [C\#](https://repo.masters-masters.com/en/languages/c-sharp) |
| License | MIT |
| Created | 2015 |
| Topics | asynchronous-programming, reliability, specifications, automated-testing, state-machines, dotnet |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [p-org/PSharp](https://github.com/p-org/PSharp) |

## Repository

A framework for rapid development of reliable asynchronous software.

Archived: this repository is read-only

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by p-org

- [p-org/P · ★ 3,726 · C\# · RC](https://repo.masters-masters.com/en/repos/p-org/P)

## Nearby in C\#

- [nashnie/MotionMatching · ★ 392 · C\# · Alpha](https://repo.masters-masters.com/en/repos/nashnie/MotionMatching)
- [oleg-st/ZstdSharp · ★ 392 · C\# · Alpha](https://repo.masters-masters.com/en/repos/oleg-st/ZstdSharp)
- [oculus-samples/Unity-Movement · ★ 392 · C\# · Alpha](https://repo.masters-masters.com/en/repos/oculus-samples/Unity-Movement)
- [mattak/Unidux · ★ 392 · C\# · Alpha](https://repo.masters-masters.com/en/repos/mattak/Unidux)
- [damienbod/AspNetCoreOpenIddict · ★ 392 · C\# · Alpha](https://repo.masters-masters.com/en/repos/damienbod/AspNetCoreOpenIddict)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.