This is stars and forks stats for /uwplse/verdi repository. As of 29 Apr, 2024 this repository has 561 stars and 56 forks.
Verdi Verdi is a Coq framework to implement and formally verify distributed systems. Verdi supports several different fault models ranging from idealistic to realistic. Verdi's verified system transformers (VSTs) encapsulate common fault tolerance techniques. Developers can verify an application in an idealized fault model, and then apply a VST to obtain an application that is guaranteed to have analogous properties in a more adversarial environment. Meta Author(s): Justin Adsuara Steve Anton Ryan...
Verdi Verdi is a Coq framework to implement and formally verify distributed systems. Verdi supports several different fault models ranging from idealistic to realistic. Verdi's verified system transformers (VSTs) encapsulate common fault tolerance techniques. Developers can verify an application in an idealized fault model, and then apply a VST to obtain an application that is guaranteed to have analogous properties in a more adversarial environment. Meta Author(s): Justin Adsuara Steve Anton Ryan...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| buzz-language/buzz | ZigOther | 851 | +12 | 19 | 0 |
| ph1p/ikea-led-obegraensad | CC++TypeScript | 357 | 0 | 33 | 0 |
| contiki-ng/contiki-ng | CGSCPython | 1.2k | 0 | 654 | 0 |
| xfangfang/wiliwili | C++CMakeC | 2.2k | 0 | 122 | 0 |
| HealthSamurai/ftr | ClojureOther | 0 | 0 | 0 | 0 |
| simonbengtsson/airdash | DartSwiftHTML | 402 | +1 | 84 | 0 |
| SakuyaCN/Godot_TeamGame | GDScriptOther | 80 | 0 | 27 | 0 |
| kiteco/kiteco-public | GoHTMLPython | 672 | 0 | 165 | 0 |
| docker/cli | GoShellOther | 4.3k | 0 | 1.8k | 0 |
| objectionary/try-phi | HaskellPureScriptTypeScript | 13 | 0 | 3 | 0 |