| trailofbits/manticore |
3,535 |
|
1 |
1 |
over 2 years ago |
1,137 |
December 09, 2023 |
264 |
agpl-3.0 |
Python |
| Symbolic execution tool |
| eth-brownie/brownie |
2,560 |
|
0 |
26 |
over 2 years ago |
115 |
May 16, 2022 |
420 |
mit |
Python |
| A Python-based development and testing framework for smart contracts targeting the Ethereum Virtual Machine. |
| crytic/echidna |
2,461 |
|
0 |
0 |
about 2 years ago |
1 |
September 07, 2022 |
142 |
agpl-3.0 |
Solidity |
| Ethereum smart contract fuzzer |
| ethereum/remix-project |
2,188 |
|
0 |
33 |
about 2 years ago |
44 |
December 01, 2023 |
767 |
mit |
TypeScript |
| Remix is a browser-based compiler and IDE that enables users to build Ethereum contracts with Solidity language and to debug transactions. |
| SmartContractSecurity/SWC-registry |
805 |
|
0 |
0 |
over 2 years ago |
0 |
|
8 |
mit |
|
| Smart Contract Weakness Classification and Test Cases |
| nicolasgarcia214/damn-vulnerable-defi-foundry |
406 |
|
0 |
0 |
almost 3 years ago |
0 |
|
4 |
mit |
Solidity |
| Damn Vulnerable DeFi - Foundry Version |
| Zilliqa/scilla |
238 |
|
0 |
0 |
almost 3 years ago |
0 |
|
137 |
gpl-3.0 |
OCaml |
| Scilla - A Smart Contract Intermediate Level Language |
| itublockchain/web3-bootcamp |
233 |
|
0 |
0 |
about 3 years ago |
0 |
|
0 |
|
Solidity |
| Open-Sourced Turkish Smart Contract Developer Bootcamp by ITU Blockchain |
| sCrypt-Inc/boilerplate |
224 |
|
0 |
0 |
about 2 years ago |
0 |
|
13 |
mit |
TypeScript |
| sCrypt project boilerplate |
| PaulRBerg/prb-test |
162 |
|
0 |
6 |
over 2 years ago |
17 |
October 04, 2023 |
2 |
mit |
Solidity |
| Modern collection of testing assertions and logging utilities for Solidity |
