开源序
GitHub 开源项目排行
返回榜单
P
p-org /
P
P 编程语言。
仓库 Star
3,726
总榜 #16,627
Fork
225
最近推送
2 个月前更新
仓库创建
2015 年创建
应用与完整系统
开发工具
C#
MIT · 宽松，可直接商用
查看源码
收藏
加入对比
加入收藏夹
用途与标签
介绍
README
用之前确认
超过 6 个月没有代码推送（最近一次 2026-09-03），维护情况需要确认。
开发者工具
# asynchronous
# distributed-systems
# event-driven
# formal-methods
# formal-verification
# model-checking
# p
# programming-language
# state-machine
# systematic-testing
