All Projects → p-org → P

p-org / P

Licence: mit
The P programming language.

Programming Languages

C#
18002 projects
OpenEdge ABL
179 projects
java
68154 projects - #9 most used programming language
c
50402 projects - #5 most used programming language
python
139335 projects - #7 most used programming language
ANTLR
299 projects

Projects that are alternatives of or similar to P

Drona
Drona is a programming framework for building safe robotics systems
Stars: ✭ 26 (-98.87%)
Mutual labels:  robotics, drones, p
Toast Haste.framework
TOAST Haste framework is a pure java implementation of asynchronous game server framework
Stars: ✭ 95 (-95.89%)
Mutual labels:  asynchronous, event-driven
Workerman
An asynchronous event driven PHP socket framework. Supports HTTP, Websocket, SSL and other custom protocols. PHP>=5.3.
Stars: ✭ 9,617 (+316.5%)
Mutual labels:  asynchronous, event-driven
Parapet
A purely functional library to build distributed and event-driven systems
Stars: ✭ 106 (-95.41%)
Mutual labels:  event-driven, distributed-systems
Holodeck Engine
High Fidelity Simulator for Reinforcement Learning and Robotics Research.
Stars: ✭ 48 (-97.92%)
Mutual labels:  robotics, drones
Collie
An asynchronous event-driven network framework( port netty ) written in D.
Stars: ✭ 60 (-97.4%)
Mutual labels:  asynchronous, event-driven
Library
Collection of papers in the field of distributed systems, game theory, cryptography, cryptoeconomics, zero knowledge
Stars: ✭ 100 (-95.67%)
Mutual labels:  distributed-systems, state-machine
Copycat
A novel implementation of the Raft consensus algorithm
Stars: ✭ 551 (-76.14%)
Mutual labels:  distributed-systems, state-machine
Qpn
QP-nano real-time embedded framework/RTOS for embedded systems based on active objects (actors) and hierarchical state machines
Stars: ✭ 107 (-95.37%)
Mutual labels:  event-driven, state-machine
Dotnet Istanbul Microservices Demo
This is the demo application that i created for my talk 'Microservice Architecture & Implementation with Asp.Net Core' at Dotnet İstanbul Meetup Group.
Stars: ✭ 109 (-95.28%)
Mutual labels:  event-driven, distributed-systems
Ws Machine
WS-Machine is a websocket finite state machine for client websocket connections (Go)
Stars: ✭ 110 (-95.24%)
Mutual labels:  asynchronous, state-machine
Redtail
Perception and AI components for autonomous mobile robotics.
Stars: ✭ 832 (-63.97%)
Mutual labels:  robotics, drones
Behaviortree.cpp
Behavior Trees Library in C++. Batteries included.
Stars: ✭ 793 (-65.66%)
Mutual labels:  robotics, state-machine
Rvd
Robot Vulnerability Database. An archive of robot vulnerabilities and bugs.
Stars: ✭ 87 (-96.23%)
Mutual labels:  robotics, drones
Ray
项目停止更新,新项目:https://github.com/RayTale/Vertex
Stars: ✭ 635 (-72.5%)
Mutual labels:  event-driven, distributed-systems
Rails Disco
Distributed Rails with commands, events and projections.
Stars: ✭ 95 (-95.89%)
Mutual labels:  event-driven, distributed-systems
Qpcpp
QP/C++ real-time embedded framework/RTOS for embedded systems based on active objects (actors) and hierarchical state machines
Stars: ✭ 124 (-94.63%)
Mutual labels:  event-driven, state-machine
Holodeck
High Fidelity Simulator for Reinforcement Learning and Robotics Research.
Stars: ✭ 513 (-77.78%)
Mutual labels:  robotics, drones
Reactivemanifesto
The Reactive Manifesto
Stars: ✭ 542 (-76.53%)
Mutual labels:  asynchronous, distributed-systems
Door Slam
Distributed, Online, and Outlier Resilient SLAM for Robotic Teams
Stars: ✭ 107 (-95.37%)
Mutual labels:  robotics, distributed-systems

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.

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!.

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) 🥁. The P team welcomes contributions and suggestions from all of you!! 👊. See CONTRIBUTING for more information.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].