BêtaRare
runtimeverification/verified-smart-contracts
Smart contracts which are formally verified
- Propriétaire
- runtimeverification (organisation)
- Étoiles
- Étoiles : 749
- Forks
- Forks : 141
- Langage
- Solidity
- Licence
- Aucune
- Création
- 2018
- Rang
- Bêta (700 à 1 999 ★) Ce que veut dire ce rang
Autres dépôts de runtimeverification
Les 7 dépôts de runtimeverification- runtimeverification/kÉtoiles : 603PythonAlpha
- runtimeverification/evm-semanticsÉtoiles : 595KCLAlpha
- runtimeverification/haskell-backendÉtoiles : 229HaskellPrototype
- runtimeverification/iele-semanticsÉtoiles : 130HTMLPrototype
- runtimeverification/kontrolÉtoiles : 127PythonPrototype
- runtimeverification/wasm-semanticsÉtoiles : 107WebAssemblyPrototype
D’autres dépôts Solidity
Tous les dépôts Solidity- ethereum/ERCsÉtoiles : 770SolidityBêta
- OpenZeppelin/damn-vulnerable-defiÉtoiles : 757SolidityBêta
- coinbase/build-onchain-appsÉtoiles : 750SolidityBêta
- ethereum-optimism/optimism-tutorialÉtoiles : 745SolidityBêta
- Layr-Labs/eigenlayer-contractsÉtoiles : 721SolidityBêta
- OlympusDAO/olympus-contractsÉtoiles : 717SolidityBêta