AlphaUncommon
argotorg/hevm
Symbolic and concrete EVM execution engine
- Owner
- argotorg (organization)
- Stars
- Stars: 362
- Forks
- Forks: 80
- Language
- Haskell
- License
- AGPL-3.0
- Created
- 2022
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by argotorg
All 9 repos by argotorg- argotorg/solidityStars: 25,768C++LTS
- argotorg/feStars: 1,737RustBeta
- argotorg/solc-jsStars: 1,510TypeScriptBeta
- argotorg/sourcifyStars: 958TypeScriptBeta
- argotorg/solc-binStars: 433JavaScriptAlpha
- argotorg/actStars: 284HaskellAlpha
Nearby in Haskell
All Haskell repos- gelisam/hawkStars: 364HaskellAlpha
- recursion-schemes/recursion-schemesStars: 362HaskellAlpha
- purerl/purerlStars: 362HaskellAlpha
- tweag/linear-baseStars: 361HaskellAlpha
- simonmar/parconc-examplesStars: 359HaskellAlpha