p-org/PSharp

View on GitHub ↗ ★ 392 C# archived

A framework for rapid development of reliable asynchronous software.

3 mentions on Hacker News by 3 people: 2 stories, 1 comment · first 2016-10-10 · latest 2020-01-17

Mentions per year 3 mentions · busiest year 2016 (1)

20082026

All Stories Comments Newest Top Oldest

Its available alongside P: https://github.com/p-org/PSharp
comment by akashlal · 2016-10-10 · in The P programming language