P

The P programming language. (by p-org)

P Alternatives

Similar projects and alternatives to P

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better P alternative or higher similarity.

P reviews and mentions

Posts with mentions or reviews of P. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-01-06.
  • P Language
    3 projects | news.ycombinator.com | 6 Jan 2023
  • Learn TLA+
    3 projects | news.ycombinator.com | 28 Sep 2022
    I tried to use TLA+ but what annoys me the most is the disconnection between the actual implementation and its code. I think the P language has a much better future just because it can generate code that works: https://github.com/p-org/P
    3 projects | news.ycombinator.com | 28 Sep 2022
    The universal problem is "generating code from a formal spec" is extremely, maddeningly, pull-your-hair-outingly hard. A slightly easier thing, as you said, generating test cases, which is what the Mongo people have been advancing: https://arxiv.org/abs/2006.00915

    (Another interesting approach in this space is P, which is lower-level than TLA+ but also can compile to C#: https://github.com/p-org/P)

  • Let's build a distributed Postgres proof of concept
    10 projects | news.ycombinator.com | 17 May 2022
    It is tough.

    My approach when learning new protocols like Raft or Paxos is to implement them in Pluscal (TLA+'s higher-level language) or P (https://github.com/p-org/P). I've found that helps separate the protocol-level concerns from the implementation-level concerns (sockets? wire format?) in a way that reduces the difficulty of learning the protocol.

  • A note from our sponsor - SonarQube
    www.sonarqube.org | 29 Sep 2023
    Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free. Learn more →

Stats

Basic P repo stats
6
2,781
0.0
7 days ago

p-org/P is an open source project licensed under MIT License which is an OSI approved license.

The primary programming language of P is C#.

Collect and Analyze Billions of Data Points in Real Time
Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.
www.influxdata.com