Basic string utilities for Solidity

Smart contracts which are formally verified

(Aragon 1) Reference implementation for aragonOS: a Solidity framework for building complex dApps and protocols

Minimi Token. ERC20 compatible clonable token

A Brownie mix containing all you need to get started with developing flash loans

A simple and sufficient ERC20 implementation

ERC20 wrapper over the Dai Savings Rate

Reference implementations for ERC20 Flash Loans and Flash Mints

Smart contracts for the Aragon Network Token

List of CTF related to Ethereum world (solidity smart contracts)

Solidity contracts to enable limit orders on Sushiswap

Pools DAI, converts it into Compound DAI, and sends interests to a beneficiary. Users putting DAI into the pool receives Pooled cDAI (pcDAI), an ERC20 token which is 1-for-1 redeemable for DAI at a…

DigixDAO 1.0 contracts