Powered by ClickHouse
halmos
Author: a16z crypto
Summary: A symbolic testing tool for EVM smart contracts
Can't find the visual you need? Build your own here
All
version
0.2.6
latest version
Downloads over time
Top versions
Downloads by Python version over time
Top contributors
Downloads by system over time
Related packages
Downloads by country
File types by installer
Downloads
by period
3
last day
372
last week
1.4K
last month
60K
total
342
Pull requests
20
PR request openers
157
Issues
88
Forks
872 (+506 )
# 94,721
TOP 25%