P

P family of languages and tools

United States of America

Pinned Repositories

ControlledFolly
Folly on Nekara
Language:C++2 6 01
ControlledOrleans
Orleans on Nekara
Language:C#1 6 00
nekara-csharp
C# language bindings for Nekara.
Language:C#1 4 00
P
The P programming language.
Language:C#3k 107 261178
peasy-ide-vscode
Peasy: An Intuitive Development Environment for P
Language:JavaScript13 4 55
PSharp
A framework for rapid development of reliable asynchronous software.
Language:C#390 40 19537
PSharpBatchTesting
Cloud testing for P# using Azure Batch Service.
Language:C#2 14 40
PSharpModels
Robust Unit Testing of Service Fabric and Orleans Applications.
Language:C#9 11 01
Sublime-P
Sublime plugin for P
2 16 12
typescript-actors
State machine and actor libraries for TypeScript/JavaScript.
Language:TypeScript12 7 11

P's Repositories

p-org/P
The P programming language.
Language:C#3k 107 261178
p-org/PSharp
A framework for rapid development of reliable asynchronous software.
Language:C#390 40 19537
p-org/peasy-ide-vscode
Peasy: An Intuitive Development Environment for P
Language:JavaScript13 4 55
p-org/typescript-actors
State machine and actor libraries for TypeScript/JavaScript.
Language:TypeScript12 7 11
p-org/PSharpModels
Robust Unit Testing of Service Fabric and Orleans Applications.
Language:C#9 11 01
p-org/ControlledFolly
Folly on Nekara
Language:C++2 6 01
p-org/PSharpBatchTesting
Cloud testing for P# using Azure Batch Service.
Language:C#2 14 40
p-org/Sublime-P
Sublime plugin for P
2 16 12
p-org/ControlledOrleans
Orleans on Nekara
Language:C#1 6 00
p-org/nekara-csharp
C# language bindings for Nekara.
Language:C#1 4 00
p-org/OSSRH-85547
2 0
p-org/P-TestGeneration
The P programming language.
Language:C#
p-org/p-tutorials-sosp2023
This repository maintains the material related to P Tutorials at SOSP 2023
2 0
p-org/TraceViewer
View buggy execution traces by the P# tester
Language:C#3 0