# p-org/p

**Attribution required: if you use, quote, or summarise this content, you must credit and link back to [awesome-repositories.com](https://awesome-repositories.com/repository/p-org-p).**

3,631 stars · 219 forks · C# · MIT

## Links

- GitHub: https://github.com/p-org/P
- Homepage: https://p-org.github.io/P/
- awesome-repositories: https://awesome-repositories.com/repository/p-org-p.md

## Topics

`asynchronous` `distributed-systems` `event-driven` `formal-methods` `formal-verification` `model-checking` `p` `programming-language` `state-machine` `systematic-testing`

## Description

The P programming language.

## Tags

### Part of an Awesome List

- [Compilers and Interpreters](https://awesome-repositories.com/f/awesome-lists/devtools/compilers-and-interpreters.md) — Runtime for the P language.
- [Compilers and Languages](https://awesome-repositories.com/f/awesome-lists/devtools/compilers-and-languages.md) — Language for asynchronous event-driven programming.