P

All

13 repositories

P
Public
The P programming language.
programming-language distributed-systems state-machine robotics asynchronous systematic-testing event-driven model-checking formal-methods p
C#
•
MIT License
•180•3.1k•9•1•Updated Dec 19, 2024Dec 19, 2024
P-TestGeneration
Public
The P programming language.
C#
•
MIT License
•180•0•0•1•Updated Dec 4, 2024Dec 4, 2024
peasy-ide-vscode
Public
Peasy: An Intuitive Development Environment for P
JavaScript
•
MIT License
•5•13•1•0•Updated Sep 9, 2024Sep 9, 2024
p-tutorials-sosp2023
Public
This repository maintains the material related to P Tutorials at SOSP 2023
tutorial
Apache License 2.0
•0•0•0•0•Updated Apr 18, 2023Apr 18, 2023
OSSRH-85547
Public
0•0•0•0•Updated Oct 26, 2022Oct 26, 2022
nekara-csharp
Public archive
C# language bindings for Nekara.
C#
•
MIT License
•0•1•0•2•Updated Jun 22, 2022Jun 22, 2022
Sublime-P
Public
Sublime plugin for P
MIT License
•2•2•0•0•Updated Jun 4, 2021Jun 4, 2021
PSharp
Public archive
A framework for rapid development of reliable asynchronous software.
dotnet reliability specifications asynchronous-programming state-machines automated-testing
C#
•
MIT License
•37•390•43•2•Updated Nov 4, 2020Nov 4, 2020
TraceViewer
Public archive
View buggy execution traces by the P# tester
C#
•
MIT License
•0•0•0•0•Updated Dec 11, 2019Dec 11, 2019
ControlledFolly
Public archive
Folly on Nekara
C++
•1•2•0•0•Updated Dec 3, 2019Dec 3, 2019
typescript-actors
Public archive
State machine and actor libraries for TypeScript/JavaScript.
javascript typescript actors asynchronous systematic-testing event-driven state-machines
TypeScript
•
MIT License
•1•12•1•0•Updated Jul 24, 2019Jul 24, 2019
PSharpBatchTesting
Public archive
Cloud testing for P# using Azure Batch Service.
dotnet azure-batch psharp cloud-testing
C#
•0•2•3•0•Updated Feb 26, 2018Feb 26, 2018
PSharpModels
Public archive
Robust Unit Testing of Service Fabric and Orleans Applications.
C#
•
MIT License
•1•9•0•0•Updated Nov 11, 2016Nov 11, 2016