Hacker GitHub

← All repos

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
AllStoriesComments NewestTopOldest
  1. ▲ 1
    PSharp: A framework for rapid development of reliable asynchronous software
    story by polskibus · 2020-01-17 · 0 comments
  2. ▲ 1
    P#: Safe asynchronous event-driven .NET programming
    story by devinrader · 2017-08-10 · 0 comments
  3. Its available alongside P: https://github.com/p-org/PSharp
    comment by akashlal · 2016-10-10 · in The P programming language