This is stars and forks stats for /crytic/echidna repository. As of 19 Apr, 2024 this repository has 2336 stars and 295 forks.
Echidna: A Fast Smart Contract Fuzzer Echidna is a weird creature that eats bugs and is highly electrosensitive (with apologies to Jacob Stanley) More seriously, Echidna is a Haskell program designed for fuzzing/property-based testing of Ethereum smart contracts. It uses sophisticated grammar-based fuzzing campaigns based on a contract ABI to falsify user-defined predicates or Solidity assertions. We designed Echidna with modularity in mind, so it can be easily extended to include new mutations...
Echidna: A Fast Smart Contract Fuzzer Echidna is a weird creature that eats bugs and is highly electrosensitive (with apologies to Jacob Stanley) More seriously, Echidna is a Haskell program designed for fuzzing/property-based testing of Ethereum smart contracts. It uses sophisticated grammar-based fuzzing campaigns based on a contract ABI to falsify user-defined predicates or Solidity assertions. We designed Echidna with modularity in mind, so it can be easily extended to include new mutations...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
haskell/haskell-language-server | HaskellJavaScriptTypeScript | 2.4k | 0 | 322 | +2 |
input-output-hk/cardano-node | HaskellShellNix | 3k | +3 | 723 | +2 |
jgm/pandoc | HaskellRich Text FormatLua | 30.2k | +45 | 3.2k | +4 |
koka-lang/koka | HaskellCJavaScript | 2.8k | -2 | 135 | 0 |
kadena-io/chainweb-node | HaskellPactC | 237 | 0 | 91 | 0 |
carp-lang/Carp | HaskellCShell | 5.3k | +4 | 172 | 0 |
xmonad/xmonad | HaskellNixShell | 3.1k | 0 | 285 | 0 |
input-output-hk/cardano-wallet | HaskellMarkdownRuby | 726 | 0 | 228 | 0 |
input-output-hk/plutus-pioneer-program | HaskellTypeScriptShell | 1.4k | 0 | 926 | 0 |
dapphub/dapptools | HaskellShellNix | 2k | 0 | 344 | 0 |