Skip to content
Navigation Menu
Toggle navigation
Sign in
Product
Actions
Automate any workflow
Packages
Host and manage packages
Security
Find and fix vulnerabilities
Codespaces
Instant dev environments
GitHub Copilot
Write better code with AI
Code review
Manage code changes
Issues
Plan and track work
Discussions
Collaborate outside of code
Explore
All features
Documentation
GitHub Skills
Blog
Solutions
By size
Enterprise
Teams
Startups
By industry
Healthcare
Financial services
Manufacturing
By use case
CI/CD & Automation
DevOps
DevSecOps
Resources
Topics
AI
DevOps
Innersource
Open Source
Security
Software Development
Explore
Learning Pathways
White papers, Ebooks, Webinars
Customer Stories
Partners
Open Source
GitHub Sponsors
Fund open source developers
The ReadME Project
GitHub community articles
Repositories
Topics
Trending
Collections
Enterprise
Enterprise platform
AI-powered developer platform
Available add-ons
Advanced Security
Enterprise-grade security features
GitHub Copilot
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search or jump to...
Search code, repositories, users, issues, pull requests...
Search syntax tips
Provide feedback
Saved searches
Use saved searches to filter your results more quickly
Sign in
Sign up
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
p-org
/
P
Public
Notifications
You must be signed in to change notification settings
Fork
173
Star
3k
Code
Issues
12
Pull requests
0
Discussions
Actions
Projects
0
Security
Insights
Additional navigation options
Code
Issues
Pull requests
Discussions
Actions
Projects
Security
Insights
Labels
Milestones
No labels!
There aren’t any labels for this repository quite yet.
16
labels
Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
Bug: P Checker
Bug: P Checker
Bug in the P Checker
BUG: P Compiler
BUG: P Compiler
Bug in the P Compiler
BUG: P Runtime
BUG: P Runtime
Bug in the P's C# Runtime
1
BuildSystem
BuildSystem
Build System Related
dependencies
dependencies
Pull requests that update a dependency file
Done (Available in next release)
Done (Available in next release)
Fixed this issue and will be available in the next release of P
Feature Request
Feature Request
Feature Request or Enhancement
3
Help!
Help!
Helpful Information
Information
Information
P Checker Enhancement
P Checker Enhancement
New features for P Checker
P Compiler Enhancement
P Compiler Enhancement
Improving the P Compiler
P Language Enhancement
P Language Enhancement
New language features for P
3
P Module System (Compositional Reasoning)
P Module System (Compositional Reasoning)
Related to the P module system
1
Question
Question
Question!
WontFix
WontFix
Work In Progress
Work In Progress
You can’t perform that action at this time.