ethereum/hevm

symbolic EVM evaluator

HaskellSolidityNixOther
This is stars and forks stats for /ethereum/hevm repository. As of 29 Apr, 2024 this repository has 169 stars and 31 forks.

hevm The hevm project is an implementation of the Ethereum virtual machine (EVM) made specifically for symbolic execution, unit testing and debugging of smart contracts. The hevm command line program can symbolically execute smart contracts, run unit tests, interactively debug contracts while showing the Solidity source, or run arbitrary EVM code. Computations can be performed using local state set up in a dapp testing harness, or fetched on demand from live networks using rpc calls. It was originally...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
roottusk/vapiHTMLPHPOther1k02700
Shazbot/WH3-DumpLuaHTMLOther100180
imandra-ai/imandra-preludeOCamlOther10010
pypa/pipenvPythonOther24.2k01.9k0
Dragonfly-Capital/useful-solidity-patternsSolidityTypeScript1.2k+31230
xmas7/ico-presaleSolidityJavaScriptCSS21080
0xPhaze/upgrade-scriptsSolidity69040
xmas7/art-deco-nftSolidityJavaScript12000
veloren/velorenRustFluentGLSL4.5k03110
whitenois3/huff-snark-verifierSolidityRustMakefile119040