argotorg/hevm

Symbolic and concrete EVM execution engine

by Argot Collective Haskell AGPL-3.0 licence 81 forks Created Aug 2022 View on GitHub

Stars
362
1% of argotorg's stars
Rank
#166,883
of 847,120 repos, top 20%

Among 847,120 repos

250–400 stars: 77,100 repos, including hevm

Stars along the bottom, and repos in each band on a log scale

Quick stats

Next rank
+1 star to reach #166,498
Next milestone
+407 stars to reach the top 10%
Popular
One of 488,400 repos with 100+ stars
Yearly average
86 stars a year since Aug 2022

Stars counted Recounted daily Next count around