p-org/P

The P programming language.

C#OpenEdge ABLJavaCPythonShellOtherprogramming-languagedistributed-systemsstate-machineroboticsasynchronoussystematic-testingevent-drivenmodel-checkingformal-methodspformal-verification
This is stars and forks stats for /p-org/P repository. As of 29 Mar, 2024 this repository has 2789 stars and 165 forks.

Formal Modeling and Analysis of Distributed (Event-Driven) Systems Challenge: Distributed systems are notoriously hard to get right. Programming these systems is challenging because of the need to reason about correctness in the presence of myriad possible interleaving of messages and failures. Unsurprisingly, it is common for service teams to uncover correctness bugs after deployment. Formal methods can play an important role in addressing this challenge! P Overview: P is a state machine based...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
weak1337/AlcatrazC++C1.3k02190
albertlauncher/albertC++CMakeObjective-C++6.9k02930
meshtastic/firmwareC++CAssembly2.1k+12462+8
keep-starknet-strange/garagaCairoAssemblyGo104+1190
juxt-site/siteClojureJavaScriptHTML55040
unclebob/watorClojure17010
HBUTHUANGPX/Hbut_LC_sentryCMakeMakefileC++51040
balena-os/balena-allwinnerCoffeeScriptNASLShell190160
zifaucode/cek-lulusCSSJavaScriptBlade480220
foyer-work/Ooogle-itCSSJavaScriptOther1240280