Repositories list

• P

  Public
  The P programming language.

  programming-languagedistributed-systemsstate-machine+ 8roboticsasynchronoussystematic-testingevent-drivenmodel-checkingformal-methodsp+ 1

  C#

  •

  MIT License

  •179•3k•11•0•Updated Nov 4, 2024Nov 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-TestGeneration

  Public
  The P programming language.

  C#

  •

  MIT License

  •179•0•0•1•Updated Aug 21, 2024Aug 21, 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.

  dotnetreliabilityspecifications+ 3asynchronous-programmingstate-machinesautomated-testing

  C#

  •

  MIT License

  •37•390•43•2•Updated Nov 4, 2020Nov 4, 2020

• ControlledOrleans

  Public archive
  Orleans on Nekara

  C#

  •

  MIT License

  •0•1•0•0•Updated Feb 24, 2020Feb 24, 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.

  javascripttypescriptactors+ 4asynchronoussystematic-testingevent-drivenstate-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.

  dotnetazure-batchpsharp+ 1cloud-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