> For the complete documentation index, see [llms.txt](https://docs.polysmartchain.com/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.polysmartchain.com/node/smart-contract-libraries.md).

# Smart Contract Libraries

| Name                                                                            | Description                                                                                                                                                               |
| ------------------------------------------------------------------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
| [Zeppelin](https://github.com/OpenZeppelin/openzeppelin-contracts)              | Contains tested reusable smart contracts like SafeMath and OpenZeppelin SDK [library](https://github.com/OpenZeppelin/openzeppelin-sdk) for smart contract upgradeability |
| [cryptofin-solidity](https://github.com/cryptofinlabs/cryptofin-solidity)       | A collection of Solidity libraries for building secure and gas-efficient smart contracts on Ethereum.                                                                     |
| [Modular Libraries](https://github.com/Modular-Network/ethereum-libraries)      | A group of packages built for use on blockchains utilising the Ethereum Virtual Machine                                                                                   |
| [DateTime Library](https://github.com/bokkypoobah/BokkyPooBahsDateTimeLibrary)  | A gas-efficient Solidity date and time library                                                                                                                            |
| [Aragon](https://github.com/aragon/aragon)                                      | DAO protocol. Contains [aragonOS smart contract framework](https://github.com/aragon/aragonOS) with focus on upgradeability and governance                                |
| [ARC](https://github.com/daostack/arc)                                          | an operating system for DAOs and the base layer of the DAO stack.                                                                                                         |
| [0x](https://github.com/0xProject)                                              | DEX protocol                                                                                                                                                              |
| [Token Libraries with Proofs](https://github.com/sec-bit/tokenlibs-with-proofs) | Contains correctness proofs of token contracts wrt. given specifications and high-level properties                                                                        |
| [Provable API](https://github.com/provable-things/ethereum-api)                 | Provides contracts for using the Provable service, allowing for off-chain actions, data-fetching, and computation                                                         |