P · GitHub

P Public
The P programming language.

C# 2,321 MIT 136 21 0 Updated Jan 18, 2022
Sublime-P Public
Sublime plugin for P

2 MIT 2 0 0 Updated Jun 4, 2021
PSharp Public
A framework for rapid development of reliable asynchronous software.

C# 389 MIT 40 43 2 Updated Nov 4, 2020
nekara-csharp Public
C# language bindings for Nekara.

C# 1 MIT 0 0 1 Updated Mar 31, 2020
ControlledOrleans Public
Orleans on Nekara

C# 1 MIT 0 0 0 Updated Feb 24, 2020
TraceViewer Public
View buggy execution traces by the P# tester

C# 0 MIT 0 0 0 Updated Dec 11, 2019
ControlledFolly Public
Folly on Nekara

C++ 2 1 0 0 Updated Dec 3, 2019
ServiceFabric.Mocks Public
ServiceFabric.Mocks contains Mock classes to enable unit testing of Actors and Services

C# 0 MIT 53 0 0 Updated Aug 23, 2019
typescript-actors Public
State machine and actor libraries for TypeScript/JavaScript.

TypeScript 11 MIT 1 1 0 Updated Jul 24, 2019
TraceVisualizer Public
Tool for visualization of execution traces as Message Sequence Charts in ShiViz

C# 3 0 0 0 Updated Mar 14, 2018

P