dapptools

Tech stack & purpose

Dapptools is a suite of Ethereum-focused command-line tools maintained by DappHub that follows Unix design principles to enable composability, configurability, and extensibility. The suite comprises four main programs: dapp (for building, testing, fuzzing, formally verifying, debugging, and deploying Solidity contracts), seth (an Ethereum CLI for querying contracts and sending transactions), hevm (a testing-oriented EVM implementation for debugging and symbolic execution), and ethsign (for signing Ethereum transactions). The tools are built in Haskell and managed through Nix for dependency management, with installation available via Nix flakes or a legacy shell script installer.

Community & reference links

• dapphub.chat
• dapphub.chat/
• dapp.tools
• dapp.tools/install
• normalization process
• Stack
• here
• Solidity's SMTChecker
• contracts field
• Solidity compilation options
• Solidity remappings
• this tutorial on the Ethereum Foundation blog
• secp256k1
• github.com/bitcoin-core/secp256k1.git
• `cvc4`
• DappHub
• `dapp` tool suite
• Dapp tools
• github.com/dapphub/dapptools/blob/master/src/ethsign/README.md
• github.com/dapphub/dapptools/blob/master/src/hevm/README.md
• `dapp` tool suite
• `ethsign import`
• hevm cheat codes
• hevm specific environment variables
• `token`
• `solc`
• libff
• `z3`
• instructions
• nixos.org/nix
• JSON keystore wallet files
• 4byte.directory

Languages

Contributors (top 30 of 106)

• 
  Mikael Brockman785 commits · 188 followers
• 
  MrChico552 commits · 320 followers
• 
  dxo 401 commits · 291 followers
• 
  Daniel Brockman330 commits · 171 followers
• 
  rain255 commits · 111 followers
• 
  asymmetric162 commits · 83 followers
• 
  Mariano Conti129 commits · 273 followers
• 
  t11s101 commits · 3,834 followers
• 
  MrChico83 commits · 320 followers
• 
  dc69 commits · 75 followers
• 
  livnev65 commits · 173 followers
• 
  asymmetric49 commits · 83 followers
• 
  Denis Kasak34 commits · 85 followers
• 
  Georgios Konstantopoulos26 commits · 5,415 followers
• 
  Andrew Milenius25 commits · 106 followers
• Lorenzo25 commits
• 
  Matt Solomon23 commits · 704 followers
• 
  dxo 21 commits · 291 followers
• 
  Reverendus21 commits · 0 followers
• 
  Christopher Fredén18 commits · 29 followers
• 
  sudo rm -rf --no-preserve-root /13 commits · 2,162 followers
• 
  Will Song12 commits · 64 followers
• 
  Jenny Pollack11 commits · 71 followers
• 
  Brian L. McMichael10 commits · 195 followers
• 
  Artur Cygan9 commits · 109 followers
• Lucas Vogelsang9 commits
• James Foley8 commits
• realisation8 commits
• Dr Laurence E. Day7 commits
• Claudia Richoux7 commits