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...
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...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
weak1337/Alcatraz | C++C | 1.3k | 0 | 219 | 0 |
albertlauncher/albert | C++CMakeObjective-C++ | 6.9k | 0 | 293 | 0 |
meshtastic/firmware | C++CAssembly | 2.1k | +12 | 462 | +8 |
keep-starknet-strange/garaga | CairoAssemblyGo | 104 | +1 | 19 | 0 |
juxt-site/site | ClojureJavaScriptHTML | 55 | 0 | 4 | 0 |
unclebob/wator | Clojure | 17 | 0 | 1 | 0 |
HBUTHUANGPX/Hbut_LC_sentry | CMakeMakefileC++ | 51 | 0 | 4 | 0 |
balena-os/balena-allwinner | CoffeeScriptNASLShell | 19 | 0 | 16 | 0 |
zifaucode/cek-lulus | CSSJavaScriptBlade | 48 | 0 | 22 | 0 |
foyer-work/Ooogle-it | CSSJavaScriptOther | 124 | 0 | 28 | 0 |