P

The P programming language

P is a language for asynchronous event-driven programming. 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 and programming into one activity for the programmer. Not only can a P program be compiled into executable code, but it can also be validated using systematic testing. P has been used to implement and validate the USB device driver stack that ships with Microsoft Windows 8 and Windows Phone. P is also suitable for the design and implementation of networked, embedded, and distributed systems.

Manual

Check the P manual.

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.

Publications

Related Repositories

p-value.info

p-value.info

source code for http://p-value.info ...

es-regexp-unicode-property-escapes

es-regexp-unicode-property-escapes

Proposal to add Unicode property escapes `\p{…}` and `\P{…}` to regular expressi ...

P-CNN

P-CNN

P-CNN: Pose-based CNN Features for Action Recognition ...

p-pow

p-pow

P-Pow makes Pow almost working with Play framework applications. ...

P-RandomTest

P-RandomTest

Tool for random testing of P generated C code (based on Mono) ...


Top Contributors

shazqadeer desaiankush lovettchris ellab123 ejacksonMSR pdeligia thisiscam clovett akashlal