This is stars and forks stats for /runtimeverification/verified-smart-contracts repository. As of 28 Apr, 2024 this repository has 681 stars and 143 forks.
Formally Verified Smart Contracts This repository contains smart contracts that have been formally verified by Runtime Verification and/or collaborators. To verify a smart contract, we need to first produce a formal specification stating what the smart contract is supposed to do. This is often the most difficult part of the verification effort, requiring sometimes several rounds of discussions and meetings with the owners of the smart contract, to ensure that everybody is on the same page regarding...
Formally Verified Smart Contracts This repository contains smart contracts that have been formally verified by Runtime Verification and/or collaborators. To verify a smart contract, we need to first produce a formal specification stating what the smart contract is supposed to do. This is often the most difficult part of the verification effort, requiring sometimes several rounds of discussions and meetings with the owners of the smart contract, to ensure that everybody is on the same page regarding...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
vaticle/typeql | JavaRustStarlark | 199 | 0 | 43 | 0 |
beromir/Servas | SveltePHPCSS | 368 | 0 | 14 | 0 |
SwiftcordApp/Swiftcord | SwiftOther | 1.6k | 0 | 72 | 0 |
agh-riscv/mtm_ppcu_vlsi_riscv | SystemVerilogTclShell | 0 | 0 | 0 | 0 |
streetsidesoftware/cspell-dicts | TeXRPython | 180 | 0 | 157 | 0 |
jamesfang8499/math1 | TeX | 69 | 0 | 30 | 0 |
sjtug/SJTUBeamer | TeXLuaOther | 443 | 0 | 46 | 0 |
AllenDowney/ThinkDataStructures | TeXJavaHTML | 496 | 0 | 1.2k | 0 |
TdP-esami/2020-06-03-simulazione | TSQLOther | 2 | 0 | 247 | 0 |
bytedance/bytemd | TypeScriptSvelteJavaScript | 13 | 0 | 1 | 0 |