BetaRare
a16z/halmos
A symbolic testing tool for EVM smart contracts
- Owner
- a16z (organization)
- Stars
- Stars: 1,042
- Forks
- Forks: 118
- Language
- Python
- License
- AGPL-3.0
- Created
- 2022
- Tier
- Beta (700 to 1,999 ★) What this tier means
More repos by a16z
All 16 repos by a16z- a16z/heliosStars: 2,194RustRC
- a16z/joltStars: 1,059RustBeta
- a16z/awesome-farcasterStars: 814Beta
- a16z/zkdropsStars: 763JavaScriptBeta
- a16z/magiStars: 638RustAlpha
- a16z/nft-analyst-starter-packStars: 460PythonAlpha
Nearby in Python
All Python repos- SCIR-HI/Med-ChatGLMStars: 1,042PythonBeta
- PhonePe/mantisStars: 1,042PythonBeta
- BrasD99/HeyGenCloneStars: 1,042PythonBeta
- asingh33/CNNGestureRecognizerStars: 1,042PythonBeta
- facebookresearch/FixResStars: 1,042PythonBeta
- descriptinc/melgan-neuripsStars: 1,042PythonBeta