This is stars and forks stats for /vmware-labs/verified-betrfs repository. As of 16 Apr, 2024 this repository has 26 stars and 9 forks.
Verified BetrFS Verified BetrFS (VeriBetrFS) is a verified file system based on the design of BetrFS. VeriBetrFS is implemented in dafny, which supports specifying and proving functional correctness. VeriBetrFS uses the IronFleet methodology to prove strong crash-safety guarantees. Verified BetrFS guarantees The VeriBetrFS source code includes a mathematical proof of the code's correctness, and this proof is automatically checked when the code is compiled. The key-value store in VeriBetrFS is guaranteed...
Verified BetrFS Verified BetrFS (VeriBetrFS) is a verified file system based on the design of BetrFS. VeriBetrFS is implemented in dafny, which supports specifying and proving functional correctness. VeriBetrFS uses the IronFleet methodology to prove strong crash-safety guarantees. Verified BetrFS guarantees The VeriBetrFS source code includes a mathematical proof of the code's correctness, and this proof is automatically checked when the code is compiled. The key-value store in VeriBetrFS is guaranteed...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| singularity-s0/MOSS_frontend | DartC++CMake | 45 | 0 | 8 | 0 |
| berachain/polaris | GoSolidityShell | 634 | 0 | 98 | 0 |
| bluesky-social/indigo | GoTypeScriptHTML | 426 | 0 | 62 | 0 |
| sudomateo/terraform-training | HCLShell | 27 | 0 | 16 | 0 |
| GreyDGL/PentestGPT | PythonHTMLDockerfile | 5.2k | 0 | 585 | 0 |
| micrometer-metrics/tracing | JavaShell | 173 | 0 | 32 | 0 |
| anyonlabs/Snowflake.jl | JuliaShell | 37 | 0 | 3 | 0 |
| AckslD/muren.nvim | LuaMakefile | 281 | 0 | 2 | 0 |
| MetinSeylan/homelab | Makefile | 56 | 0 | 2 | 0 |
| LawRefBook/Laws | PythonShell | 1.1k | 0 | 192 | 0 |