repos
38
ecosystems
17
languages
4
commits
1,163
─── top repos · by commits
─── repositories
38 totalA unit test-like interface for fuzzing and symbolic execution
Ethereum smart contract fuzzer
Ethereum smart contract fuzzer
Ethereum smart contract fuzzer
Experimental Echidna Builds
Ethereum smart contract fuzzer
Navcoin related blobs used for quality assurance
Publications from Trail of Bits
Demonstration for using echidna to test a Solidity library
Guidelines and training material to write secure smart contracts
Guidelines and training material to write secure smart contracts
Bitcoin Core integration/staging tree
Groestlcoin Core integration/staging tree
Bitcoin Knots enhanced Bitcoin node/wallet software
Open Source implementation of advanced blockchain features extending the Bitcoin protocol
Bitcoin Core + StatsD integration
Bitcoin UASF BIP444
DigiByte Core 8.26.2 - CURRENT (1-16-2026) - 9.26.0 Development
XAYA Core
Static Analyzer for Solidity and Vyper
Bitcoin Satellite
Bitgesell (BGL) is a digital currency with built-in scarcity
Cryptocurrency (PoW, Lyra2z) - Latest Version
Namecoin full node + wallet based on the current Bitcoin Core codebase.
Particl Core integration/staging tree
Static Analyzer for Solidity
CPUchain Core integration/staging tree
CertiK fork of Slither Analyzer
Static Analyzer for Solidity and Vyper
Bitcoin Core integration/staging tree - b4os residency version!
Static Analyzer for Solidity
Research on Vulnerability Detection Using Intermediate Representations of Solidity
Pythonic Smart Contract Language for the EVM
Vyper Compiler Audit competition
─── peer developers
─── subscriber view
Unlock the full view of agroce
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.