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.3
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
187
last day
580
last week
3.1K
last month
48K
total
289
Pull requests
16
PR request openers
125
Issues
77
Forks
820 (+454 )