GitHub Analytics
GitHub Analytics
Battle
Trending
Toggle language
Toggle theme
Back to Search
a16z
/
halmos
Public
A symbolic testing tool for EVM smart contracts
GNU Affero General Public License v3.0
Updated Feb 6, 2026
Created Dec 12, 2022
View on GitHub
966
stars
98
forks
6
watchers
69
open issues
View on GitHub
Languages
Codebase composition by bytes
Top Contributors
DA
daejunpark
225 commits
0X
0xkarmacoma
121 commits
CO
Copilot
4 commits
JA
Jayakumar2812
4 commits
PC
pcaversaccio
4 commits
PI
pillip
3 commits
CO
cos
2 commits
MD
mdqst
1 commits
EM
EmperorOrokuSaki
1 commits
NC
ncitron
1 commits
Recent Stargazers
SR
sragss
about 3 years ago
RA
rajivpo
about 3 years ago
PE
perezpaya
about 3 years ago
VR
vrgtms
about 3 years ago
SO
sourdzl
about 3 years ago
AP
apoorvlathey
about 3 years ago
PE
pedrommaiaa
about 3 years ago
E1
e1block
about 3 years ago
BE
benedictbrady
about 3 years ago
8T
8times4
about 3 years ago
Repository Complexity
Approximate file count and repository size.
Files
-
Size (KB)
1,520
Issues & Activity
Open vs closed issues and recent activity peak.
Open Issues 19
Closed Issues 81
Open Issues
100
Activity Peak
Most recent day with highest activity
Feb 6, 2026 • 1 events
Stars & Forks Over Time
Cumulative stars and forks based on recent history.