Alternatives and similar repositories for tarantula

Users that are interested in tarantula are comparing it to the libraries listed below

• tintinweb / hallucinate.sol
  😵‍💫 A Recurrent Neural Network (RNN) hallucinating solidity source code.
  ☆42Updated 4 years ago
• ricmoo / lurch
  Lurch is an Ethereum VM para-virtualization (ish) written in EVM bytecode.
  ☆84Updated 5 years ago
• Rari-Capital / duppgrade
  Update or revert to a specific DappTools commit with ease.
  ☆37Updated 4 years ago
• Amxx / Permit
  ☆32Updated 3 years ago
• tintinweb / evm-shell
  An interactive EVM repl/shell.
  ☆32Updated 4 years ago
• 0age / devcon5-contract-runtime-mutability
  Presentation materials from (Defense Against) The Dark Arts - Contract Runtime Mutability at Devcon V in Osaka
  ☆36Updated 6 years ago
• ethdebug / solidity-data-representation
  Paper: Data Representation in Solidity
  ☆62Updated 2 years ago
• ConsenSysDiligence / vscode-ethover
  Ethereum Account Address Hover Info and Actions
  ☆46Updated last year
• cerc-io / tx-spammer
  Read-only mirror of https://git.vdb.to/cerc-io/tx-spammer (Util for sending different types of txs for testing purposes)
  ☆18Updated last year
• lsankar4033 / surrogeth
  Tricking frontrunners into doing good
  ☆42Updated 3 years ago
• summa-tx / memview-sol
  Memory access with runtime typechecking in Solidity
  ☆76Updated 2 years ago
• viperproject / 2vyper
  A static verifer for Ethereum Smart Contracts written in Vyper
  ☆51Updated 2 years ago
• mds1 / convex-shutdown-simulation
  Simulates a call to Convex Finance's system shutdown method, which uses about 16M gas
  ☆59Updated 3 years ago
• protolambda / mergemock
  Merge Mock - testing tool for the Ethereum Merge
  ☆41Updated 3 years ago
• dmihal / WETH11
  Wrapped ETH, written in Yul+
  ☆24Updated 3 years ago
• cleanunicorn / mythos
  CLI client for the MythX API
  ☆20Updated 3 years ago
• yearn / eth-allowlist
  ☆16Updated 3 years ago
• bgd-labs / seatbelt-for-ghosts
  Aave Seatbelt for governance proposals
  ☆17Updated last year
• Tenderly / sol.tty
  ☆22Updated 3 years ago
• brockelmore / HEVMHelpers
  ☆48Updated 4 years ago
• vyperlang / vvm
  Vyper version manager
  ☆28Updated last year
• marktoda / forge-gas-snapshot
  Library for checked-in, targeted gas snapshots with forge
  ☆97Updated last year
• Uniswap / Tribunal
  Tribunal is a framework for processing cross-chain swap settlements utilizing The Compact.
  ☆62Updated last month
• aragon / evm-storage-proofs
  Trustlessly prove a past storage value in a contract to other contracts
  ☆145Updated 2 years ago
• banteg / yearn-fees
  a quest for accurate fee accounting
  ☆31Updated last year
• fredlacs / c2c-nft-bridge
  ☆34Updated 4 years ago
• gasgauge / gasgauge.github.io
  This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities
  ☆61Updated 4 years ago
• cleanunicorn / mockprovider
  Solidity mocking provider for testing
  ☆62Updated 3 years ago
• sky-ecosystem / mkr-mcd-spec
  High level KSpecification for the MCD System by Runtime Verification and Maker Foundation
  ☆28Updated 3 years ago
• costa-group / gasol-optimizer
  ☆110Updated 3 months ago