Alternatives and similar repositories for evm-sim

Users that are interested in evm-sim are comparing it to the libraries listed below

• omgnetwork / research
  ☆43Updated 5 years ago
• ethereum / benchmarking
  Benchmarking data for EVM ops and precompiles
  ☆21Updated 3 years ago
• matter-labs-archive / PlasmaContract
  More Viable Plasma (MoreVP) contract with Limbo Exits
  ☆26Updated 7 years ago
• pirapira / dry-analyzer
  Dr. Y's Ethereum Contract Analyzer
  ☆41Updated 3 years ago
• paritytech / second-price-auction
  A Dutch auction crowdsale dapp
  ☆18Updated 8 years ago
• ebuchman / understanding_ethereum_trie
  ☆123Updated 9 years ago
• pirapira / vmtrace_visualizer
  A program that annotates a vm trace with dataflow information
  ☆34Updated 3 years ago
• GridPlus / cryptobridge-contracts
  Smart contracts for trustless bridges
  ☆75Updated 5 years ago
• runtimeverification / erc20-semantics
  ERC20 in K
  ☆49Updated 6 years ago
• corepaper / evm
  The Core Paper Project of EVM
  ☆15Updated 6 years ago
• ledgerlabs / toy-state-channels
  An educational "toy" implementation of fully abstracted state channels
  ☆49Updated 9 years ago
• PeterBorah / smart-contract-security-examples
  Some example patterns for building fault-tolerant Ethereum smart contracts
  ☆57Updated 8 years ago
• dapphub / klab
  K framework proof explorer & smart contract specification format
  ☆124Updated 4 years ago
• gnosis / dex-zksnarks
  Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange
  ☆46Updated 7 years ago
• pdaian / hackthiscontract
  http://hackthiscontract.io/
  ☆50Updated 3 years ago
• ethereumjs / ethereumjs-testing
  This utility library has been moved to the EthereumJS VM monorepo.
  ☆12Updated 5 years ago
• benjaminion / LLL_erc20
  An implementation of Ethereum ERC20 tokens in LLL
  ☆69Updated 8 years ago
• daifoundation / maker-otc
  The OasisDEX protocol - Simple on-chain market for ERC20 tokens
  ☆104Updated 3 years ago
• chriseth / patricia-trie
  ☆64Updated 3 years ago
• snario / zknifty
  🎴Zero-knowledge non-fungible tokens on Ethereum using zk-SNARKs
  ☆96Updated 7 years ago
• LeastAuthority / ethereum-analyses
  ☆168Updated 9 years ago
• federicobond / eth-mutants
  👾 A mutation testing tool for Solidity contracts
  ☆46Updated 7 years ago
• sec-bit / zkPoD-contract
  Smart contracts for zkPoD Decentralized Exchange
  ☆14Updated 3 years ago
• mrsmkl / truebit-plasma
  Template for implementing Plasma child chains with Truebit
  ☆50Updated 8 years ago
• zchcai / ethereum-dapps-verification
  State-of-the-art about program verification on Ethereum DApps
  ☆22Updated 2 years ago
• TrueBitFoundation / ocaml-offchain
  Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification
  ☆44Updated 5 years ago
• Consensys / zsl-q
  ZSL on Quorum
  ☆73Updated 7 years ago
• gcolvin / evm-drag-race
  EVM performance tests for a range of clients
  ☆24Updated 6 years ago
• Ohalo-Ltd / solevm
  Partial implementation of the Ethereum runtime in Solidity (PoC)
  ☆78Updated 7 years ago
• nervosnetwork / polyjuice-old
  An Ethereum on CKB solution
  ☆12Updated 5 years ago