Repositories list

• nekara-csharp

  Public archive
  C# language bindings for Nekara.

  C#

  •

  MIT License

  •0•1•0•2•Updated Jun 22, 2022Jun 22, 2022

• 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