Popularity
7.7
Stable
Activity
8.0
Declining
2,090
103
122

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).
  • Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.
    Sponsored scoutapm.com
  • Mond

    3.6 6.6 P VS Mond
    A scripting language for .NET Core
  • Hybridizer

    Examples of C# code compiled to GPU by hybridizer
  • 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

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 the programmer to specify the system as a collection of interacting state machines, which communicate with each other using events. P unifies modeling, programming, and testing into one activity for the programmer. Not only can a P program be compiled into executable code, but it can also be systematically tested using Model Checking. P is currently being used extensively inside Amazon (AWS) for model checking complex distributed systems. P has been used to implement and validate the USB device driver stack that ships with Microsoft Windows 8 and Windows Phone. We have also used P for programming safe robotics systems. More details about the framework and simulation videos are available here: https://drona-org.github.io/Drona/

Publications

Manual

Check the P Wiki.

Information for building P framework is available here.

Demos

See fun demo video using P to control a quadrocopter and make sense of the MavLink stream, all visualized in a live DGML diagram.

Application to Robotics

We built DRONA, a software framework for distributed mobile robotics systems. DRONA uses P language for implementing and model-checking the distributed robotics software stack (wiki). The C code generated from P compiler can be easily deployed on Robot Operating System (ROS). More details about the DRONA framework and simulation videos are available here: https://drona-org.github.io/Drona/

Blogs

News


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