This project is a curated directory and index of resources for Solidity smart contract development. It provides a categorized collection of libraries, development frameworks, security tools, and educational materials used to build and deploy decentralized applications. The repository functions as a comprehensive catalog for the software development lifecycle, featuring a specific index of community-vetted modular building blocks and token standard implementations. It also maintains a dedicated list of security resources, including static analyzers and fuzzers, to assist in auditing and securi
Gas-Efficient Solidity DateTime Library
Open-Source Libraries for Solidity by ABDK Consulting
Correctness proofs of Ethereum token contracts
Les fonctionnalités principales de sec-bit/tokenlibs-with-proofs sont : Smart Contract Libraries.
Les alternatives open-source à sec-bit/tokenlibs-with-proofs incluent : bkrem/awesome-solidity — This project is a curated directory and index of resources for Solidity smart contract development. It provides a… aragon/aragon. bokkypoobah/bokkypoobahsdatetimelibrary — Gas-Efficient Solidity DateTime Library. cryptofinlabs/cryptofin-solidity — A collection of Solidity libraries for building secure and gas-efficient smart contracts on Ethereum. daostack/arc — Arc is an operating system for DAOs. ethereum/dapp-bin — A place for all the ÐApps to live.