P
Grow your team on GitHub
GitHub is home to over 50 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.
Sign upPinned repositories
Repositories
-
P
The P programming language.
-
PSharp
A framework for rapid development of reliable asynchronous software.
-
-
nekara-csharp
C# language bindings for Nekara.
-
ControlledOrleans
Orleans on Nekara
-
TraceViewer
View buggy execution traces by the P# tester
-
ControlledFolly
Folly on Nekara
-
ServiceFabric.Mocks
Forked from loekd/ServiceFabric.MocksServiceFabric.Mocks contains Mock classes to enable unit testing of Actors and Services
-
Sublime-P
Sublime plugin for P
-
typescript-actors
State machine and actor libraries for TypeScript/JavaScript.
-
plditutorial
Safe Asynchronous Programming: Methodology, Language, and Tools
-
TraceVisualizer
Tool for visualization of execution traces as Message Sequence Charts in ShiViz
-
PSharpBatchTesting
Cloud testing for P# using Azure Batch Service.
-
P-Boogie-Translation
P to Boogie translation
-
PSharpModels
Robust Unit Testing of Service Fabric and Orleans Applications.
-
P-RandomTest
Tool for random testing of P generated C code (based on Mono)

