Peasy: An Easy-to-Use Development Environment for P
P is a state machine based programming language for formal modeling and analysis of distributed systems. Peasy is a step towards making application of P in practice easy-peasy 😃.
Peasy is a VS Code language extension for the P language. Peasy supports syntax highlighting, compilation and error reporting, unit testing, state machine visualization, and error tracing visualization. Navigate to the Peasy webpage for in-depth description and demo videos of all these features of the Peasy extension.
With ❤️ from the P Team @ Amazon Web Services (AWS).