P

Website: p-org.github.io/P/

P is a programming language for asynchronous event-driven programming and the IoT that was developed by Microsoft and University of California, Berkeley.P enables programmers to specify systems consisting of a collection of state machines that communicate asynchronously in terms of events.

P programs can run and be analyzed on any platform supported by .NET.

Additionally, P programs can generate C# and C code.

P is open source, licensed under MIT License, and available on GitHub.