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.0
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
89
last day
849
last week
4K
last month
39K
total
264
# Pull requests
15
# PR request openers
111
# Issues
71
# Forks
781 (+415 )