Infraestructura
Last updated
Last updated
Contains tested reusable smart contracts like SafeMath and OpenZeppelin SDK 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 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