| OpenZeppelin/openzeppelin-contracts |
23,543 |
|
51 |
2,941 |
about 2 years ago |
81 |
December 08, 2023 |
217 |
mit |
JavaScript |
| OpenZeppelin Contracts is a library for secure smart contract development. |
| bkrem/awesome-solidity |
6,134 |
|
0 |
0 |
over 2 years ago |
0 |
|
7 |
|
|
| ⟠ A curated list of awesome Solidity resources, libraries, tools and more |
| trailofbits/manticore |
3,535 |
|
1 |
1 |
over 2 years ago |
1,137 |
December 09, 2023 |
264 |
agpl-3.0 |
Python |
| Symbolic execution tool |
| crytic/echidna |
2,461 |
|
0 |
0 |
about 2 years ago |
1 |
September 07, 2022 |
142 |
agpl-3.0 |
Solidity |
| Ethereum smart contract fuzzer |
| pcaversaccio/reentrancy-attacks |
1,115 |
|
0 |
0 |
over 2 years ago |
0 |
|
0 |
agpl-3.0 |
|
| A chronological and (hopefully) complete list of reentrancy attacks to date. |
| duaraghav8/Ethlint |
918 |
|
522 |
387 |
almost 3 years ago |
57 |
September 14, 2019 |
68 |
mit |
JavaScript |
| (Formerly Solium) Code quality & Security Linter for Solidity |
| nascentxyz/simple-security-toolkit |
873 |
|
0 |
0 |
over 2 years ago |
0 |
|
0 |
mit |
|
| A collection of practical security-focused guides and checklists for smart contract development |
| SmartContractSecurity/SWC-registry |
805 |
|
0 |
0 |
over 2 years ago |
0 |
|
8 |
mit |
|
| Smart Contract Weakness Classification and Test Cases |
| OpenZeppelin/cairo-contracts |
750 |
|
0 |
2 |
about 2 years ago |
2 |
April 25, 2022 |
58 |
mit |
Rust |
| OpenZeppelin Contracts written in Cairo for Starknet, a decentralized ZK Rollup |
| tamjid0x01/SmartContracts-audit-checklist |
638 |
|
0 |
0 |
over 2 years ago |
0 |
|
0 |
mit |
|
| A checklist of things to look for when auditing Solidity smart contracts. |
