p-org/P
C#MITactive
Health
The P programming language.
Health Breakdown
Activity24
Community25
Maintenance14
Popularity25
#asynchronous#distributed-systems#event-driven#formal-methods#formal-verification#model-checking#p#programming-language#state-machine#systematic-testing
Community
C#MIT
active
★ 3.6k217 contributors1d ago