Popularity
7.7
Stable
Activity
8.1
Growing
2,187
102
125

Code Quality Rank: L1
Programming language: C#
License: MIT License
Tags: Compilers    

P alternatives and similar packages

Based on the "Compilers, Transpilers and Languages" category.
Alternatively, view P alternatives based on common mentions on social networks and blogs.

  • PeachPie

    PeachPie - the PHP compiler and runtime for .NET and .NET Core
  • Iron python

    Implementation of the Python programming language for .NET Framework; built on top of the Dynamic Language Runtime (DLR).
  • Syncfusion Xamarin components and frameworks are constantly being developed and updated to meet the growing needs of a changing digital world. This suite has controls from basic editors to powerful, advanced controls like DataGrid, Charts, ListView, and RTE. Free 30-day Trial.
  • Hybridizer

    Examples of C# code compiled to GPU by hybridizer
  • Mond

    3.6 6.5 P VS Mond
    A scripting language for .NET Core
  • Testura.Code

    Testura.Code is a wrapper around the Roslyn API and used for generation, saving and compiling C# code. It provides methods and helpers to generate classes, methods, statements and expressions.
  • Amplifier.NET

    Amplifier allows .NET developers to easily run complex applications with intensive mathematical computation on Intel CPU/GPU, NVIDIA, AMD without writing any additional C kernel code. Write your function in .NET and Amplifier will take care of running it on your favorite hardware.

Do you think we are missing an alternative of P or a related project?

Add another 'Compilers, Transpilers and Languages' Package

README

Modular and Safe Programming for Distributed Systems

NuGet GitHub license GitHub Action (CI on Windows) GitHub Action (CI on Ubuntu) GitHub Action (CI on MacOS)

P is a state machine based programming language for modeling and specifying complex distributed systems. P allows programmers to model their system as a collection of communicating state machines. P supports several backend analysis engines (based on automated reasoning techniques like model checking and symbolic execution) to check that the distributed system modeled in P satisfy the desired correctness specifications. Not only can a P program be systematically tested (e.g., model checking), but it can also be compiled into executable code. Essentially, P unifies modeling, specifying, implementing, and testing into one activity for the programmer.

P is currently being used extensively inside Amazon (AWS) for analysis of complex distributed systems. P is also being used for programming safe robotics systems. P was first used to implement and validate the USB device driver stack that ships with Microsoft Windows 8 and Windows Phone.

:sparkles: Programming concurrent, distributed systems is fun but challenging, however, a pinch of programming language design with a dash of automated reasoning can go a long way in addressing the challenge and amplify the fun!. :sparkles:

Let the fun begin!

You can find most of the information about the P framework on: http://p-org.github.io/P/.

What is P?, Getting Started, Tutorials, Case Studies and related Research Publications. If you have any further questions, please feel free to create an issue, ask on discussions, or email us

P has always been a collaborative project between industry and academia (since 2013) :drum:. The P team welcomes contributions and suggestions from all of you!! :punch:. See [CONTRIBUTING](CONTRIBUTING.md) for more information.


*Note that all licence references and agreements mentioned in the P README section above are relevant to that project's source code only.