Certora

gambit-report-viewer

2023-01-blockswap-fv

Secureum2023_ERC4626_public

aave-proposal-test

openzeppelin-contracts

OpenZeppelin Contracts is a library for secure smart contract development.

ruler-evm

The Ruler project adapted to generate rules for evm.

Secureum_Staking_Rewards

superfluid-protocol-monorepo

Superfluid Protocol Monorepo: the specification, implementations, peripherals and development kits.

aave-certora-nov22-proposal

aave-v3-listing-stewards

Helpers smart contracts/examples for Aave v3 asset listings

across-token

Across token and token distribution contract

aip

Aave Improvement Proposals

AMM-UniswapV3-core

🦄 🦄 🦄 Core smart contracts of Uniswap v3

BadSpecExamples

Examples of specs that don't check what you think they check

BytecodeFetcher

comet

An efficient money market protocol for Ethereum and compatible chains.

comp-proposal

Implementation of Compound funding proposal

CustomerExamples

Spec examples for self-serving customers

CVL2Migration

Examples and scripts to help migrate from CVL 1 to CVL 2

dmap

registry contract with no time to argue

drips-contracts

Drips hub smart contracts

ens-contracts

ENS

graph_contracts

The Graph Protocol

LayerZero

An Omnichain Interoperability Protocol

liquity

mango

nitro

Nitro goes vroom and fixes everything

solmate

Modern, opinionated, and gas optimized building blocks for smart contract development.

tenderly-demo

UMAprotocol

UMA Protocol Running on Ethereum