{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"P","owner":"p-org","isFork":false,"description":"The P programming language.","allTopics":["programming-language","distributed-systems","state-machine","robotics","asynchronous","systematic-testing","event-driven","model-checking","formal-methods","p","formal-verification"],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":12,"starsCount":2932,"forksCount":169,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-31T17:08:16.178Z"}},{"type":"Public","name":"peasy-ide-vscode","owner":"p-org","isFork":false,"description":"Peasy: An Intuitive Development Environment for P","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":10,"forksCount":4,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-15T22:39:42.187Z"}},{"type":"Public","name":"p-tutorials-sosp2023","owner":"p-org","isFork":false,"description":"This repository maintains the material related to P Tutorials at SOSP 2023","allTopics":["tutorial"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-18T17:52:23.344Z"}},{"type":"Public","name":"OSSRH-85547","owner":"p-org","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-26T18:14:19.959Z"}},{"type":"Public archive","name":"nekara-csharp","owner":"p-org","isFork":false,"description":"C# language bindings for Nekara.","allTopics":[],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":2,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-22T22:59:22.927Z"}},{"type":"Public","name":"Sublime-P","owner":"p-org","isFork":false,"description":"Sublime plugin for P","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-06-04T09:44:07.783Z"}},{"type":"Public archive","name":"PSharp","owner":"p-org","isFork":false,"description":"A framework for rapid development of reliable asynchronous software.","allTopics":["dotnet","reliability","specifications","asynchronous-programming","state-machines","automated-testing"],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":2,"issueCount":43,"starsCount":391,"forksCount":38,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-11-04T18:12:24.231Z"}},{"type":"Public archive","name":"ControlledOrleans","owner":"p-org","isFork":false,"description":"Orleans on Nekara","allTopics":[],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-02-24T12:42:31.412Z"}},{"type":"Public archive","name":"TraceViewer","owner":"p-org","isFork":false,"description":" View buggy execution traces by the P# tester","allTopics":[],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-12-11T18:59:47.895Z"}},{"type":"Public archive","name":"ControlledFolly","owner":"p-org","isFork":false,"description":"Folly on Nekara","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-12-03T13:53:30.188Z"}},{"type":"Public archive","name":"typescript-actors","owner":"p-org","isFork":false,"description":"State machine and actor libraries for TypeScript/JavaScript.","allTopics":["javascript","typescript","actors","asynchronous","systematic-testing","event-driven","state-machines"],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":1,"starsCount":12,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-07-24T16:14:33.515Z"}},{"type":"Public archive","name":"PSharpBatchTesting","owner":"p-org","isFork":false,"description":"Cloud testing for P# using Azure Batch Service.","allTopics":["dotnet","azure-batch","psharp","cloud-testing"],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":3,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-02-26T05:47:47.812Z"}},{"type":"Public archive","name":"PSharpModels","owner":"p-org","isFork":false,"description":"Robust Unit Testing of Service Fabric and Orleans Applications.","allTopics":[],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-11-11T05:43:17.615Z"}}],"repositoryCount":13,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}