#solidity-contracts (9 Repositories)
Ranked open-source repositories tagged with #solidity-contracts, scored by pull request acceptance likelihood and maintainer engagement velocity.
32.1%
32.9h
9 repositories tagged #solidity-contracts
esbmc/esbmc
The efficient SMT-based context-bounded model checker (ESBMC)
LFDT-web3j/web3j-maven-plugin
web3j Maven plugin
softstack/Smart-Contract-Security-Audits
Certified Smart Contract Audits for Ethereum, Solana, Near, Cardano, Aptos, Sui, Binance Smart Chain, Fantom, EOS, Tezos and more
xf97/JiuZhou
JiuZhou is a data set of Ethereum bug smart contracts (ICSME 2020).
Dexaran/ERC223-token-standard
ERC-223 token standard reference implementation.
Aniket-Engg/solidity-school
First place for early developers to learn Solidity
0xisk/awesome-solidity-gas-optimization
Best resources for Solidity gas optimizations ⛽
0xweb-org/0xweb
Contract Package Manager with built in cli wallet
juanfranblanco/vscode-solidity
Visual Studio Code language support extension for Solidity smart contracts in Ethereum https://marketplace.visualstudio.com/items?itemName=JuanBlanco.solidity