repos
43
ecosystems
14
languages
7
commits
2,347
─── top repos · by commits
─── repositories
43 totalStatic Analyzer for Solidity and Vyper
CertiK fork of Slither Analyzer
Static Analyzer for Solidity and Vyper
Research on Vulnerability Detection Using Intermediate Representations of Solidity
Hackathon project from ETHWaterloo '23, focused on environmental conservation and social responsibility. It transforms energy from both on-chain and off-chain regenerative activities, converting it into real trees to foster a sustainable future.
EthOn - The Ethereum Ontology
A place for me to work through Web3 tutorials in public.
Experimental tool to ease the review of smart contracts upgrades
A 6-part series on how to use Echidna on real-world codebases
Open source forkable Ethereum dev stack
Generate EthOn ontology specification
DappRadar Defi Providers
Web3/Solidity based wargame
▼ LUX is an infinite game.
Overview of the formal verification projects in the Ethereum ecosystem.
Clave Smart Contracts on zkSync
📖 A curated list of resources dedicated to Account Abstraction (EIP-4337)
A book on all things Foundry, available at https://getfoundry.sh.
Template repository intended to ease fuzzing components of Solidity projects, especially libraries.
Smart Contracts for the Abstract Global Wallet (AGW)
A book on all things Foundry, available at https://foundry-book.zksync.io/.
A book on all things Foundry, available at https://book.getfoundry.sh.
A book on all things Foundry, available at https://book.getfoundry.sh.
A book on all things foundry-zksync
─── peer developers
─── ecosystems
─── languages
- Solidity16
- TypeScript11
- Python5
- JavaScript4
- HTML1
- Rust1
- Shell1
─── subscriber view
Unlock the full view of webthethird
- · 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.