Generalized onChain reward contract that allows to retroactively reward depositors with any token
Aave Improvement Proposals
Implementation of Compound funding proposal
The Compound On-Chain Protocol
A proof of concept for the invalid calldata padding bug
Contracts for Trader Joe
Off-chain Typescript for adjusting weightings of Nirn yield aggregator vaults
OpenZeppelin Contracts is a library for secure smart contract development.
Optimism Dai and upgradable token bridge
VSCode extension that presents the verification results
Lightweight, robust, elegant syntax highlighting.
This repository contains links to our completed full-service customer projects
Pygments is a generic syntax highlighter written in Python
🚀 Bootstrapping protocol-owned liquidity
SIREN Core Smart Contracts
The Z3 Theorem Prover