Alternatives and similar repositories for dry-analyzer

Users that are interested in dry-analyzer are comparing it to the libraries listed below

• pirapira / ethereum-formal-verification-overview

  View on GitHub
  The start page about my efforts around smart contract verification
  ☆296Mar 24, 2022Updated 3 years ago
• pirapira / vmtrace_visualizer

  View on GitHub
  A program that annotates a vm trace with dataflow information
  ☆34Mar 24, 2022Updated 3 years ago
• libp2p / js-libp2p-connection-manager

  View on GitHub
  [DEPRECATED]: now part of the https://github.com/libp2p/js-libp2p repo
  ☆14Aug 23, 2019Updated 6 years ago
• muellerberndt / laser-ethereum

  View on GitHub
  Symbolic virtual machine for Ethereum
  ☆69May 29, 2018Updated 7 years ago
• axic / swarmgw

  View on GitHub
  Simple Swarm interface to swarm-gateways.net (or other gateways)
  ☆10Mar 15, 2019Updated 6 years ago
• pirapira / eth-isabelle

  View on GitHub
  A Lem formalization of EVM and some Isabelle/HOL proofs
  ☆242Mar 24, 2022Updated 3 years ago
• vulcanize / ethersignal

  View on GitHub
  Make your voices heard
  ☆16Dec 14, 2021Updated 4 years ago
• pirapira / evmverif

  View on GitHub
  An EVM code verification framework in Coq
  ☆44Oct 11, 2016Updated 9 years ago
• ethereum / simplecasper

  View on GitHub
  Casper PoC4 implementation. This PoC4 version served as an early prototype to test and refine the PoS protocol, laying the groundwork for…
  ☆19Mar 29, 2017Updated 8 years ago
• alex-miller-0 / Ethereum_Blockchain_Parser

  View on GitHub
  Parse the Ethereum blockchain from a local geth node!
  ☆155Dec 16, 2019Updated 6 years ago
• jonasnick / eth-neg-value-tx

  View on GitHub
  Ethereum Bug Bounty Submission: Sending Negative Value Transactions
  ☆19Feb 3, 2022Updated 4 years ago
• Arachnid / evmdis

  View on GitHub
  EVM disassembler
  ☆572May 9, 2022Updated 3 years ago
• ipld / js-ipld-graph-builder

  View on GitHub
  Provides an efficient way to build and manipulate IPLD DAGs as JSON
  ☆40Jan 10, 2025Updated last year
• plasmaio / paper

  View on GitHub
  Plasma Paper
  ☆10Sep 13, 2017Updated 8 years ago
• stratisproject / BlockchainProgramming

  View on GitHub
  ☆11Dec 16, 2016Updated 9 years ago
• cosmos / research

  View on GitHub
  ☆23Jun 29, 2020Updated 5 years ago
• alanshaw / iim

  View on GitHub
  🔁 IPFS install manager
  ☆35Feb 29, 2024Updated last year
• enzymefinance / oyente

  View on GitHub
  An Analysis Tool for Smart Contracts
  ☆1,345Jan 19, 2023Updated 3 years ago
• carver / ethtoken.py

  View on GitHub
  Ethereum ERC20 Token Interface, in Python
  ☆43Dec 29, 2022Updated 3 years ago
• paritytech / withdraw-dao

  View on GitHub
  A DAO-ABI-compatible contract to allow *only* withdrawals
  ☆11Jun 25, 2016Updated 9 years ago
• iden3 / go-merkletree

  View on GitHub
  MerkleTree compatible with circomlib/smt
  ☆13Jul 9, 2021Updated 4 years ago
• potuz / mammon

  View on GitHub
  ☆11Oct 24, 2021Updated 4 years ago
• joelburget / ghcjs-box

  View on GitHub
  Quick start for the vagrant box I use for ghcjs / react-haskell / pigment development
  ☆11Jun 26, 2015Updated 10 years ago
• andrewslotin / doppelganger

  View on GitHub
  A tool to mirror GitHub repositories.
  ☆14Apr 19, 2024Updated last year
• DigixGlobal / sigmate

  View on GitHub
  🔏 Simple Keystore Generator
  ☆12Jan 7, 2019Updated 7 years ago
• evm-lang-design / evm-lang-design

  View on GitHub
  Language Design Community for the EVM: Intro and Resources
  ☆133Aug 1, 2017Updated 8 years ago
• jrhea / imp

  View on GitHub
  😈 Eth2 Network Agent 😈
  ☆31Oct 30, 2020Updated 5 years ago
• ipfs-inactive / research-bitswap

  View on GitHub
  [ARCHIVED] repo to organize research on bitswap
  ☆15Feb 4, 2020Updated 6 years ago
• ethereum / testeth

  View on GitHub
  One consensus test generator
  ☆11Dec 8, 2018Updated 7 years ago
• bitemyapp / ledgertheory

  View on GitHub
  ☆14Feb 8, 2015Updated 11 years ago
• ether-camp / ethereum-testing-reference

  View on GitHub
  ☆30Mar 19, 2017Updated 8 years ago
• tarrencev / ethjs

  View on GitHub
  A light weight abstraction of the Ethereum JSON RPC API
  ☆11Jan 25, 2016Updated 10 years ago
• tjade273 / web3_ipc

  View on GitHub
  A simple web3.js extension for management APIs over IPC
  ☆11Jun 26, 2017Updated 8 years ago
• msuiche / porosity

  View on GitHub
  *UNMAINTAINED* Decompiler and Security Analysis tool for Blockchain-based Ethereum Smart-Contracts
  ☆937Jan 10, 2019Updated 7 years ago
• kframework / vyper-semantics

  View on GitHub
  KVyper: Semantics of Vyper in K
  ☆41Aug 12, 2018Updated 7 years ago
• davidhq / SublimeEthereum

  View on GitHub
  Ethereum Solidity, Vyper, Yul and StarkNet Cairo language syntaxes
  ☆122Mar 5, 2025Updated 11 months ago
• PhABC / gastoken-factory--token-sale

  View on GitHub
  Token Sale example implementing GasToken Factory methods
  ☆19Jun 8, 2018Updated 7 years ago
• mmicu / leena

  View on GitHub
  Symbolic execution engine for JavaScript
  ☆13Apr 5, 2016Updated 9 years ago
• paritytech / parity-reactive-ui

  View on GitHub
  The Bond-based Parity Reactive UI library
  ☆15Dec 8, 2018Updated 7 years ago