p-org/P
Some data may be outdated — see provenance labels.
The P programming language. observed · 2026-09-24
Health v2 · maintenance only
85/100
- Activity 93
- Release rhythm 66
- Longevity 100
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-10-21. Adoption (stars, forks) is never an input.
- gap_med: 1
- age_days: 4139
- days_rel: 229
- days_push: 47
- n_releases_24m: 4
Adoption not part of the score
3690 stars · 224 forks observed · 2026-09-24
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-29, confidence not recorded
P is a state machine based programming language for formally modeling and specifying complex distributed systems as collections of communicating state machines. It provides automated reasoning backends (model checkers) to verify safety and liveness properties, plus runtime monitoring to check production logs against specifications.
Use cases
- formally model a distributed system design as communicating state machines
- find corner-case concurrency bugs via systematic model checking
- verify safety and liveness properties of a protocol before implementation
- check that service logs conform to formal specifications in production
- generate state machines and test drivers from design documents with AI
When to choose
- you are designing a complex distributed system or microservices architecture and want to catch design bugs early
- you need rigorous correctness guarantees beyond what stress or integration testing provides
- your team wants a developer-friendly specification language rather than pure mathematical notation
When to avoid
- you need a general-purpose language for building production applications
- your project is small or simple enough that formal modeling is overkill
- your team cannot invest in learning formal methods and specification writing
Facets
framework · maturity active
programming-language testing simulation microservices programming-languages developer-tools cross-platform windows dotnet cli state-machine model-checking formal-methods systematic-testing event-driven asynchronous specification-language runtime-monitoring ai-assisted-codegen formal-verification linux macos docker
2 sources
- readme: https://github.com/p-org/P · fetched 2026-09-24 · 23fc279fe27b
- homepage: https://p-org.github.io/P/ · fetched 2026-08-29 · c82258c5b901
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| p-org/P | main | 85 |
For agents
Data as of 2026-10-19T08:05:51.212177+00:00 · Report a problem