Submissions from github.com/p-org

		The P Programming Language: Formal modeling and analysis of distributed systems (github.com/p-org)
		17 points by wslh 60 days ago \| past \| 2 comments
		P: A language for asynchronous event-driven programming and model checking (github.com/p-org)
		5 points by fanf2 on Oct 28, 2020 \| past
		PSharp: A framework for rapid development of reliable asynchronous software (github.com/p-org)
		1 point by polskibus on Jan 17, 2020 \| past
		P Programming Language: Async, event-driven programming using state machines (github.com/p-org)
		2 points by capableweb on Dec 28, 2019 \| past
		The P Programming Language (github.com/p-org)
		3 points by damian2000 on Sept 30, 2019 \| past \| 1 comment
		P#: Safe asynchronous event-driven .NET programming (github.com/p-org)
		1 point by devinrader on Aug 10, 2017 \| past
		The P programming language (github.com/p-org)
		220 points by msoad on Oct 9, 2016 \| past \| 87 comments