P

The P programming language.

GitHub
3k stars
107 watching
175 forks
Language: C#
last commit: 16 days ago
Linked from 3 awesome lists

asynchronousdistributed-systemsevent-drivenformal-methodsformal-verificationmodel-checkingpprogramming-languageroboticsstate-machinesystematic-testing

Screenshot of p-org/P website

https://p-org.github.io/P/

Backlinks from these awesome lists: