monad-mock vs echidna

monad-mock

A Haskell package that provides a monad transformer for mocking mtl-style typeclasses (by cjdev)

#Testing

Source Code

echidna

Ethereum smart contract fuzzer (by crytic)

#Evm #Ethereum #smart-contracts #Security #Solidity #Testing #Fuzzer

Source Code

Our great sponsors

SonarLint - Clean code begins in your IDE with SonarLint

Scout APM - Less time debugging, more time building

SaaSHub - Software Alternatives and Reviews

Our great sponsors

monad-mock		echidna
	Project
0	Mentions	12
71	Stars	1,551
-	Growth	7.4%
0.0	Activity	7.7
over 2 years ago	Latest Commit	2 days ago
Haskell	Language	Solidity
ISC License	License	GNU Affero General Public License v3.0

The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.

monad-mock

Posts with mentions or reviews of monad-mock. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning monad-mock yet.
Tracking mentions began in Dec 2020.

echidna

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 2022-06-06.

A Comprehensive Guide on Web3 Programming Languages and Tools
19 projects | dev.to | 6 Jun 2022

MythX, Mythril, Manticore, and Echidna are other tools for security audits.
Tools to verify solidity code
6 projects | reddit.com/r/ethdev | 3 Jun 2022

Input fuzzing: Echidna
Installing Echinda-test on MacOS
1 project | dev.to | 15 Apr 2022

Now download the binaries from here: github.com/crytic/echidna/releases
Echidna 2.0.1 released with dapp/foundry properties support and other fixes!
1 project | reddit.com/r/ethereum | 4 Apr 2022

1 project | reddit.com/r/ethdev | 4 Apr 2022
Projects using Echidna for testing?
1 project | reddit.com/r/solidity | 10 Mar 2022

Hello /r/solidity, I was looking at Echidna, which seems fantastic for a specific kind of testing where you want to throw lots of function calls at your contract.
Your tests suck
1 project | reddit.com/r/ethdev | 5 Mar 2022

And it isn't even a problem with tooling, which some languages can blame. A normal Hardhat project has everything you need. You can go as far as enchida, but make sure you have at least the basic user scenarios tested thoroughly.
Echidna, an open-source smart contract fuzzer, released version 2.0.0
1 project | news.ycombinator.com | 16 Feb 2022
Echidna 2.0.0 released with new features and fixes!
1 project | reddit.com/r/ethereum | 16 Feb 2022

1 project | reddit.com/r/ethdev | 16 Feb 2022

What are some alternatives?

When comparing monad-mock and echidna you can also consider the following projects:

manticore - Symbolic execution tool

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

slither - Static Analyzer for Solidity

openzeppelin-contracts - OpenZeppelin Contracts is a library for secure smart contract development.

remix-ide - Documentation for Remix IDE

quickcheck-instances - Instances for QuickCheck classes

protocol-radius-test - testsuit of protocol-radius haskell package

hspec-checkers - Allows to use checkers properties from hspec

openssh-protocol - Haskell implementation of openssh protocol primitives.

publications - Publications from Trail of Bits

testing-type-modifiers - Modifier types for property based testing

echidna vs manticore

echidna vs openzeppelin-solidity

echidna vs slither