repos
117
ecosystems
13
languages
6
commits
471
─── top repos · by commits
─── repositories
117 totalSupplementary Material to be used with the Certora Prover
Practical tutorials of Certora Prover
Practical tutorials of Certora Prover
An index repository with submodules for different examples of Certora projects
An index repository with submodules for different examples of Certora projects
Study of fuzzing vs formal verification
SushiswapV1
Sushiswap smart contracts 🍣 📝
MilkySwap smart contracts 🥛
Sushiswap smart contracts 🍣 📝
Sushiswap smart contracts 🍣 📝
Sushiswap smart contracts 🍣 📝
Sushiswap smart contracts 🍣 📝
Sushiswap smart contracts 🍣 📝
Sushiswap smart contracts 🍣 📝
Sushiswap smart contracts 🍣 📝
Sushiswap smart contracts 🍣 📝
Zswap smart contracts
MydaDex smart contracts 📝
Sushiswap smart contracts 🍣 📝
Sushiswap smart contracts 🍣 📝
Sushiswap smart contracts 🍣 📝
Sushiswap smart contracts 🍣 📝
Sushiswap smart contracts 🍣 📝
Sushiswap smart contracts 🍣 📝
Sushiswap smart contracts 🍣 📝
Sushiswap smart contracts 🍣 📝
Sushiswap smart contracts 🍣 📝
Sushiswap smart contracts 🍣 📝
Sushiswap smart contracts 🍣 📝
Sushiswap smart contracts 🍣 📝
Sushiswap contracts with forge building
ReactSwap smart contracts
Used the Sushiswap staking pool for FilDA mining
SushiswapV1
Sushiswap smart contracts 🍣 📝
The Compound On-Chain Protocol
Monorepo for Silo Protocol contracts V3
Aave GhoToken x Certora Formal Verification Competition
coinbase spend-permissions
A comparison of solidity fuzzing to FV
Reward Streams allows permissionless rewards distribution of multiple tokens in staking and staking-free manner
Silo Contracts V2 is a collection of modular Solidity smart contracts designed to streamline decentralized finance applications on Ethereum. It focuses on security, scalability, and ease of integration.
🔧 Build and deploy Silo V2 contracts efficiently with this monorepository, featuring integration tools and a bug bounty for security enhancements.
based on crytic comparison
Generalized onChain reward contract that allows to retroactively reward depositors with any token
Reward Streams allows permissionless rewards distribution of multiple tokens in staking and staking-free manner
The Ethereum Vault Connector (EVC) is a mediator between Vaults that may have borrowing functionality.
SNT Staking contracts
🛠️ SDKs and CLI for interacting with Celo
Official repository for core projects comprising the Celo platform
The official repository for the Valora mobile cryptocurrency wallet.
Certora tutorials
Celo Testnets Faucet
Protocol mapping social identifiers to blockchain addresses
Smart contracts for Quant Protocol. Rolla's EVM-based options protocol.
A framework for quickly building mobile wallet applications
stkBNB Smart Contracts
LP token lending protocol
LP token lending protocol
LP token lending protocol
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 wallet, a digital wallet for the Celo network.
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
Smart contracts for access control and token gated Status communities.
Seaport is a marketplace protocol for safely and efficiently buying and selling NFTs.
The official repository for the Kolektivo mobile wallet, a digital wallet for Curacao based organisation, Kolektivo.
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
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 wallet, a digital wallet for the Celo network.
Official repository for core projects comprising the Celo platform
Official repository for core projects comprising the Celo platform
A framework for quickly building Mobile Stack applications
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
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
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
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
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
Official repository for core projects comprising the Celo platform
─── peer developers
─── ecosystems
─── languages
- Solidity43
- TypeScript25
- Python2
- Ruby1
- HTML1
- JavaScript1
─── subscriber view
Unlock the full view of nd-certora
- · 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.