Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Manticore | 3,535 | 1 | 1 | 9 months ago | 1,137 | December 09, 2023 | 264 | agpl-3.0 | Python | |
Symbolic execution tool | ||||||||||
Echidna | 2,587 | a month ago | 1 | September 07, 2022 | 142 | agpl-3.0 | Solidity | |||
Ethereum smart contract fuzzer | ||||||||||
Remix Project | 2,188 | 33 | 5 months 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. | ||||||||||
Swc Registry | 805 | 8 months ago | 8 | mit | ||||||
Smart Contract Weakness Classification and Test Cases | ||||||||||
Damn Vulnerable Defi Foundry | 406 | a year ago | 4 | mit | Solidity | |||||
Damn Vulnerable DeFi - Foundry Version | ||||||||||
Scilla | 238 | a year ago | 137 | gpl-3.0 | OCaml | |||||
Scilla - A Smart Contract Intermediate Level Language | ||||||||||
Web3 Bootcamp | 233 | a year ago | Solidity | |||||||
Open-Sourced Turkish Smart Contract Developer Bootcamp by ITU Blockchain | ||||||||||
Boilerplate | 224 | 5 months ago | 13 | mit | TypeScript | |||||
sCrypt project boilerplate | ||||||||||
Prb Test | 162 | 6 | 6 months ago | 17 | October 04, 2023 | 2 | mit | Solidity | ||
Modern collection of testing assertions and logging utilities for Solidity | ||||||||||
Vertigo | 148 | a year ago | 17 | January 31, 2021 | 16 | lgpl-3.0 | Python | |||
Mutation Testing for Ethereum Smart Contracts |