An open API service indexing awesome lists of open source software.

Projects in Awesome Lists by p-org

A curated list of projects in awesome lists by p-org .

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/sublime-p

Sublime plugin for P

Last synced: 19 Feb 2026

https://github.com/p-org/p-tutorials-sosp2023

This repository maintains the material related to P Tutorials at SOSP 2023

tutorial

Last synced: 09 Feb 2026

https://github.com/p-org/ossrh-85547

Last synced: 02 Jan 2026