hevm

symbolic EVM evaluator

AGPL-3.0 License

Downloads
4.3K
Stars
229
Committers
109
View Code on GitHub Visit Website
Ecosystems: Solidity, Ethereum

Bot releases are hidden (Show)

No releases found yet, please check back later.
Package Rankings
Top 19.16% on Hackage.haskell.org
Related Projects
execution-spec-tests

A Python framework and collection of test cases to generate test vectors for Ethereum execution c...

18 Oct 2022 73
HyVM

Run arbitrary code on the EVM

03 Oct 2022 235
foundry

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development writ...

08 Sep 2021 7,972
evmone

Fast Ethereum Virtual Machine implementation

05 Dec 2018 760
blockchain-development-guide

Devpill.me - A Public Good Blockchain Development Guide

30 Jan 2022 1,347
act

Smart contract specification language

13 Sep 2019 214
tevm-monorepo

Devnet, bundler and LSP for Solidity and TypeScript that runs in the browser

14 Feb 2023 165
token-erc-20

This is an example of implementation in solidity language of an ERC-20 standard Ethereum Token, m...

31 May 2020 44
tests

Common tests for all Ethereum implementations

31 Dec 2013 508
heimdall-rs

Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracti...

04 Jun 2022 1,048
awesome-ethereum-security

A curated list of awesome Ethereum security references

10 Aug 2018 1,266
retesteth

testeth via RPC. Test run, generation by t8ntool protocol

21 Feb 2018 104
fe

Emerging smart contract language for the Ethereum blockchain.

10 Aug 2019 1,559
evmc

EVMC – Ethereum Client-VM Connector API

21 Aug 2016 316
solidity-examples

Loose collection of Solidity example code

11 Nov 2016 532