Smart Contract Libraries
| Name | Description |
|---|---|
Contains tested reusable smart contracts like SafeMath and OpenZeppelin SDK library for smart contract upgradeability | |
A collection of Solidity libraries for building secure and gas-efficient smart contracts on Ethereum. | |
A group of packages built for use on blockchains utilising the Ethereum Virtual Machine | |
A gas-efficient Solidity date and time library | |
DAO protocol. Contains aragonOS smart contract framework with focus on upgradeability and governance | |
an operating system for DAOs and the base layer of the DAO stack. | |
DEX protocol | |
Contains correctness proofs of token contracts wrt. given specifications and high-level properties | |
Provides contracts for using the Provable service, allowing for off-chain actions, data-fetching, and computation |
Last updated