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: about 1 month 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 (about 9 years ago)
• Default Branch: master
• Last Pushed: 2024-05-22T17:22:31.000Z (4 months ago)
• Last Synced: 2024-05-22T22:23:37.700Z (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: 2,926
• Watchers: 107
• Forks: 168
• Open Issues: 10
• 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)