Ecosyste.ms: Awesome
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/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: 30 Jul 2024
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: 02 Aug 2024