
repos
96
ecosystems
23
languages
11
commits
570
─── top repos · by commits
─── repositories
96 totalWALA-based Solidity static analysis. Currently it includes RoundAbout, a tool for inferring rounding direction across functions, expressions, and calls.
An index repository with submodules for different examples of Certora projects
An index repository with submodules for different examples of Certora projects
Core contracts of Furucombo
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
A dynamic checker for the ECF property incorporated into geth
OpenZeppelin Contracts is a library for secure smart contract development.
Aave Improvement Proposals
Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits for leading Web3 protocols on EVM-based chains, Solana, and Stellar.
Supplementary Material to be used with the Certora Prover
🛠️ SDKs and CLI for interacting with Celo
Official repository for core projects comprising the Celo platform
Celo Testnets Faucet
Protocol mapping social identifiers to blockchain addresses
Official repository for core projects comprising the Celo platform
Official repository for core projects comprising the Celo platform
Official repository for core projects comprising the Celo platform
The official repository for the Valora mobile cryptocurrency wallet.
A framework for quickly building mobile wallet applications
The official repository for the Valora mobile wallet, a digital wallet for the Celo network.
The most powerful, capital efficient DeFi options protocol
The most powerful, capital efficient Defi OTC options protocol
The most powerful, capital efficient DeFi options protocol
The most powerful, capital efficient DeFi options protocol
Aave Protocol V2
This is solc-verify, a modular verifier for Solidity.
[Optimism] (Slightly) modified Solidity compiler
High-yield lending and low-rate borrowing DeFi protocol
Smart contracts for Quant Protocol. Rolla's EVM-based options protocol.
Fork of the Solidity Compiler for compiling Solidity to IELE
Indonesian community translation of the Solidity documentation
Korean community translation of the Solidity documentation
lllc support with latest opcodes
Solidity, the Contract-Oriented Programming Language
Solidity For Cortex
Aave Protocol V2
Tropykus Protocol V2 - Smart Contracts based on AAVE v2
Aave Protocol V2
The Solidity Contract-Oriented Programming Language
Solidity, the Contract-Oriented Programming Language
Solidity, the Smart Contract Programming Language
Aave Protocol V2
Solidity, the Smart Contract Programming Language
Aave Protocol V2
AaveV2 StaticAtokenLM
Example Certora verification for a simple multi-contract system
Official repository for core projects comprising the Celo platform
Repo where Bonzo Smart Contracts go
Aave Protocol V2
Aave Protocol V2
Solidity, the Contract-Oriented Programming Language
Aave Protocol V2
Aave Protocol V2
Aave Protocol V2
Aave Protocol V2
Aave Protocol V2
Aave Protocol V2
Solidity, the Contract-Oriented Programming Language
Solidity, the Contract-Oriented Programming Language
Aave 智能合约代码
Aave Protocol V2 AStETH verification
Aave Protocol V2
Aave Protocol V2
Aave Protocol V2
Aave Protocol V2
Aave Protocol V2
my version of solidity
ethereum-solidity
Aave Protocol V2 AStETH verification
Omnidex-lending
Solidity, the Contract-Oriented Programming Language
Aave Protocol V2
Aave Protocol V2
─── peer developers
─── ecosystems
─── languages
- TypeScript37
- C++13
- Solidity8
- JavaScript5
- Ruby2
- Python1
- Java1
- Kotlin1
- Go1
- CMake1
─── subscriber view
Unlock the full view of shellygr
- · 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.



















