BetaRare
runtimeverification/verified-smart-contracts
Smart contracts which are formally verified
- Owner
- runtimeverification (organization)
- Stars
- Stars: 749
- Forks
- Forks: 141
- Language
- Solidity
- License
- None
- Created
- 2018
- Tier
- Beta (700 to 1,999 ★) What this tier means
More repos by runtimeverification
All 7 repos by runtimeverification- runtimeverification/kStars: 603PythonAlpha
- runtimeverification/evm-semanticsStars: 595KCLAlpha
- runtimeverification/haskell-backendStars: 229HaskellPrototype
- runtimeverification/iele-semanticsStars: 130HTMLPrototype
- runtimeverification/kontrolStars: 127PythonPrototype
- runtimeverification/wasm-semanticsStars: 107WebAssemblyPrototype
Nearby in Solidity
All Solidity repos- ethereum/ERCsStars: 771SolidityBeta
- OpenZeppelin/damn-vulnerable-defiStars: 757SolidityBeta
- coinbase/build-onchain-appsStars: 750SolidityBeta
- ethereum-optimism/optimism-tutorialStars: 745SolidityBeta
- Layr-Labs/eigenlayer-contractsStars: 721SolidityBeta
- OlympusDAO/olympus-contractsStars: 717SolidityBeta