echidna

Ethereum smart contract fuzzer (by crytic)

Echidna Alternatives

Similar projects and alternatives to echidna

  1. Bitcoin

    908 echidna VS Bitcoin

    Bitcoin Core integration/staging tree

  2. CodeRabbit

    CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.

    CodeRabbit logo
  3. cardano-node

    The core component that is used to participate in a Cardano decentralised blockchain.

  4. ipfs

    Peer-to-peer hypermedia protocol

  5. siad

    Discontinued The Sia daemon

  6. solidity

    Solidity, the Smart Contract Programming Language

  7. plutus

    89 echidna VS plutus

    The Plutus language implementation and tools

  8. InfluxDB

    InfluxDB high-performance time series database. Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems.

    InfluxDB logo
  9. nearcore

    Reference client for NEAR Protocol

  10. safe-smart-account

    Safe allows secure management of blockchain assets.

  11. publications

    Publications from Trail of Bits

  12. ganache

    39 echidna VS ganache

    Discontinued :warning: The Truffle Suite is being sunset. For information on ongoing support, migration options and FAQs, visit the Consensys blog. Thank you for all the support over the years.

  13. slither

    36 echidna VS slither

    Static Analyzer for Solidity and Vyper

  14. scaffold-eth

    Discontinued ๐Ÿ— forkable Ethereum dev stack focused on fast product iterations

  15. mythril

    12 echidna VS mythril

    Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.

  16. manticore

    5 echidna VS manticore

    Symbolic execution tool

  17. remix-ide

    Documentation for Remix IDE

  18. openzeppelin-solidity

    Discontinued OpenZeppelin Contracts is a library for secure smart contract development. [Moved to: https://github.com/OpenZeppelin/openzeppelin-contracts]

  19. peatio

    5 echidna VS peatio

    Open-source crypto currency exchange software (https://openware.com) (by openware)

  20. ethereum_formal_verification_overview

    Overview of the formal verification projects in the Ethereum ecosystem.

  21. compiler-solidity

    Discontinued The zkEVM Solidity compiler.

  22. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better echidna alternative or higher similarity.

echidna discussion

Log in or Post with

echidna reviews and mentions

Posts with mentions or reviews of echidna. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-04-25.

Stats

Basic echidna repo stats
33
2,872
8.3
3 days ago

Sponsored
CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
coderabbit.ai

Did you know that Haskell is
the 25th most popular programming language
based on number of references?