repos
15
ecosystems
4
languages
8
commits
47
─── top repos · by commits
─── repositories
15 totalWe are systematizing everything we know about Solana security into one structured resource: the Solana Security Strategy. It’s a field-tested knowledge base for teams building serious products — packed with practical guidance, reference links, and strategy templates.
Publications of Runtime Verification, Inc.
K Semantics of the Ethereum Virtual Machine (EVM)
An open-source library of property-based tests for most common Ethereum token standards.
RustBlock-Outpost is the most complete blockchain-oriented Rust knowledge base that was created for educational purposes. Check it to find out how Rust is being implemented in web3 applications
A Formal Semantics of WebAssembly in K
VSCode extension for debugging Solidity using Simbolik API server
CI Hosting Symbolic Execution for Ethereum-Optimism
Create Yearn V3 "Tokenized Strategies" using Foundry
Optimism is Ethereum, scaled.
─── peer developers
─── languages
- Solidity4
- HTML1
- Python1
- KCL1
- WebAssembly1
- TypeScript1
- Rust1
- Go1
─── subscriber view
Unlock the full view of gregorymakodzeba
- · 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.