AlphaUncommon
crytic/properties
Pre-built security properties for common Ethereum operations
- Owner
- crytic (organization)
- Stars
- Stars: 372
- Forks
- Forks: 60
- Language
- Solidity
- License
- AGPL-3.0
- Created
- 2023
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by crytic
All 23 repos by crytic- crytic/slitherStars: 6,400PythonStable
- crytic/echidnaStars: 3,189HaskellRC
- crytic/building-secure-contractsStars: 2,482SolidityRC
- crytic/not-so-smart-contractsStars: 2,226SolidityRC
- crytic/awesome-ethereum-securityStars: 1,482Beta
- crytic/evm-opcodesStars: 1,351Beta
Nearby in Solidity
All Solidity repos- AFKDAO/wrapperStars: 375SolidityAlpha
- bokkypoobah/BokkyPooBahsDateTimeLibraryStars: 373SolidityAlpha
- graphprotocol/contractsStars: 373SolidityAlpha
- keep3r-network/keep3r.networkStars: 370SolidityAlpha
- Wadoozie/SmartContractsStars: 367SolidityAlpha
- ourzora/v3Stars: 364SolidityAlpha