Certora's repositories
CertoraProverSupplementary
Supplementary Material to be used with the Certora Prover
EVMSpec-VsCodeExtension
VS.Code extension for writing specifications for EVM (Ethereum Virtual Machine) code (.spec format)
FoundryIntegration
Certora integration with the Forge testing framework of Foundry
badger-onchain-rewards
Generalized onChain reward contract that allows to retroactively reward depositors with any token
aip
Aave Improvement Proposals
comp-proposal
Implementation of Compound funding proposal
compound-protocol
The Compound On-Chain Protocol
InvalidCalldataPOC
A proof of concept for the invalid calldata padding bug
joe-core
Contracts for Trader Joe
nirn-optimiser
Off-chain Typescript for adjusting weightings of Nirn yield aggregator vaults
openzeppelin-contracts
OpenZeppelin Contracts is a library for secure smart contract development.
optimism-dai-bridge
Optimism Dai and upgradable token bridge
OutputParser-VsCodeExtension
VSCode extension that presents the verification results
prism
Lightweight, robust, elegant syntax highlighting.
protocol-v2
AaveV2 StaticAtokenLM
PublicProjects
This repository contains links to our completed full-service customer projects
pygments
Pygments is a generic syntax highlighter written in Python
rocket-joe-1
🚀 Bootstrapping protocol-owned liquidity
SirenMarkets
SIREN Core Smart Contracts
z3
The Z3 Theorem Prover
