Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/p-org/P
The P programming language.
https://github.com/p-org/P
asynchronous distributed-systems event-driven formal-methods formal-verification model-checking p programming-language robotics state-machine systematic-testing
Last synced: 3 months ago
JSON representation
The P programming language.
- Host: GitHub
- URL: https://github.com/p-org/P
- Owner: p-org
- License: mit
- Created: 2015-06-21T06:26:36.000Z (over 9 years ago)
- Default Branch: master
- Last Pushed: 2024-09-12T18:40:25.000Z (4 months ago)
- Last Synced: 2024-09-25T09:09:59.599Z (4 months ago)
- Topics: asynchronous, distributed-systems, event-driven, formal-methods, formal-verification, model-checking, p, programming-language, robotics, state-machine, systematic-testing
- Language: C#
- Homepage: https://p-org.github.io/P/
- Size: 142 MB
- Stars: 3,003
- Watchers: 107
- Forks: 175
- Open Issues: 13
-
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- License: LICENSE.txt
- Code of conduct: CODE_OF_CONDUCT.md
Awesome Lists containing this project
- awesome-csharp - P - P is a language for asynchronous event-driven programming. (Compilers, Transpilers and Languages)
- awesome-dotnet-cn - P - P 是用于异步事件驱动的编程语言。 (编译器、透明机和语言)
- awesome-dotnet - P - P is a language for asynchronous event-driven programming. (Compilers, Transpilers and Languages)
- awesome-dotnet - P - P is a language for asynchronous event-driven programming. (Compilers, Transpilers and Languages)
- awesome-dot-dev - P - P is a language for asynchronous event-driven programming. (Compilers, Transpilers and Languages)
- awsome-dotnet - P - P is a language for asynchronous event-driven programming. (Compilers, Transpilers and Languages)
- awesome-dotnet - P - P is a language for asynchronous event-driven programming. (Compilers, Transpilers and Languages)