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 | a year ago | 1,137 | December 09, 2023 | 264 | agpl-3.0 | Python | |
Symbolic execution tool | ||||||||||
Remix Project | 2,188 | 33 | a year 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 | a year ago | 8 | mit | ||||||
Smart Contract Weakness Classification and Test Cases | ||||||||||
Damn Vulnerable Defi Foundry | 406 | 2 years ago | 4 | mit | Solidity | |||||
Damn Vulnerable DeFi - Foundry Version | ||||||||||
Scilla | 238 | 2 years ago | 137 | gpl-3.0 | OCaml | |||||
Scilla - A Smart Contract Intermediate Level Language | ||||||||||
Web3 Bootcamp | 233 | 2 years ago | Solidity | |||||||
Open-Sourced Turkish Smart Contract Developer Bootcamp by ITU Blockchain | ||||||||||
Prb Test | 162 | 6 | a year ago | 17 | October 04, 2023 | 2 | mit | Solidity | ||
Modern collection of testing assertions and logging utilities for Solidity | ||||||||||
Vertigo | 148 | 2 years ago | 17 | January 31, 2021 | 16 | lgpl-3.0 | Python | |||
Mutation Testing for Ethereum Smart Contracts | ||||||||||
Near Sdk As | 111 | 6 | 3 years ago | 71 | July 06, 2021 | 71 | other | TypeScript | ||
Tools for building NEAR smart contracts in AssemblyScript | ||||||||||
Meadow | 95 | 4 years ago | 8 | mit | C# | |||||
Integrated Ethereum implementation and tool suite focused on Solidity testing and development. |