Movatterモバイル変換

Showing 10 of 12 repositories

P Public
The P programming language.
p-org/P’s past year of commit activity
C# 3,462MIT 205 15 3 UpdatedSep 30, 2025
PObserve Public
PObserve: Monitoring P Specifications on Traces
p-org/PObserve’s past year of commit activity
4Apache-2.00 0 0 UpdatedMay 21, 2025
peasy-ide-vscode Public
Peasy: An Intuitive Development Environment for P
p-org/peasy-ide-vscode’s past year of commit activity
JavaScript 14MIT 7 2 2 UpdatedMay 12, 2025
p-tutorials-sosp2023 Public
This repository maintains the material related to P Tutorials at SOSP 2023
p-org/p-tutorials-sosp2023’s past year of commit activity
0Apache-2.00 0 0 UpdatedApr 18, 2023
OSSRH-85547 Public
p-org/OSSRH-85547’s past year of commit activity
00 0 0 UpdatedOct 26, 2022
nekara-csharp Public archive
C# language bindings for Nekara.
p-org/nekara-csharp’s past year of commit activity
C# 1MIT0 0 2 UpdatedJun 22, 2022
Sublime-P Public
Sublime plugin for P
p-org/Sublime-P’s past year of commit activity
2MIT 2 0 0 UpdatedJun 4, 2021
PSharp Public archive
A framework for rapid development of reliable asynchronous software.
p-org/PSharp’s past year of commit activity
C# 391MIT 37 43 2 UpdatedNov 4, 2020
ControlledFolly Public archive
Folly on Nekara
p-org/ControlledFolly’s past year of commit activity
C++ 2 1 0 0 UpdatedDec 3, 2019
typescript-actors Public archive
State machine and actor libraries for TypeScript/JavaScript.
p-org/typescript-actors’s past year of commit activity
TypeScript 12MIT 1 1 0 UpdatedJul 24, 2019