Projects in Awesome Lists by p-org
A curated list of projects in awesome lists by p-org .
https://github.com/p-org/p
The P programming language.
asynchronous distributed-systems event-driven formal-methods formal-verification model-checking p programming-language robotics state-machine systematic-testing
Last synced: 05 Mar 2026
https://github.com/p-org/P
The P programming language.
asynchronous distributed-systems event-driven formal-methods formal-verification model-checking p programming-language robotics state-machine systematic-testing
Last synced: 14 Mar 2025
https://github.com/p-org/PSharp
A framework for rapid development of reliable asynchronous software.
asynchronous-programming automated-testing dotnet reliability specifications state-machines
Last synced: 29 Apr 2025
https://github.com/p-org/peasy-ide-vscode
Peasy: An Intuitive Development Environment for P
Last synced: 08 Mar 2026
https://github.com/p-org/p-tutorials-sosp2023
This repository maintains the material related to P Tutorials at SOSP 2023
Last synced: 09 Feb 2026