
A comprehensive metric system for evaluating Web3 Ecosystems, Communities and Repos.
Active Developers
2,407,588
Core Developers
64,209
Repositories
400,267
Ecosystems
7,169
Web3 Ecosystem Analytics
Comprehensive insights about major blockchain ecosystems
Repository Activity
Top repositories by developer engagement and contributions
Top Repositories
#
Repository
Stars
Forks
Issues (open)
Top Developer Activity
Leading contributors across Web3 ecosystems
117,949
score
27,546
score
15,813
score
15,666
score
13,053
score
12,600
score
11,486
score
10,927
score
Top Projects
- runtimeverification/k
- runtimeverification/evm-semantics
- runtimeverification/haskell-backend
- runtimeverification/pyk
- runtimeverification/wasm-semantics
- runtimeverification/kontrol
- runtimeverification/mx-semantics
- runtimeverification/llvm-backend
- runtimeverification/k-pldi-tutorial
- runtimeverification/avm-semantics
Try queries like "ethereum ecosystem", "OpenZeppelin/contracts", or "openbuild community"
Ready to explore deeper insights?
Sign up to access advanced analytics and custom reports.