Verismart Public
a safety verifier for Solidity smart contracts
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Wtf Solidity | 9,102 | 3 months ago | 22 | other | Solidity | |||||
| 我最近在重新学solidity，巩固一下细节，也写一个“WTF Solidity极简入门”，供小白们使用，每周更新1-3讲。Now supports English! 官网: https://wtf.academy | ||||||||||
| Awesome Solidity | 6,134 | 7 months ago | 7 | |||||||
| ⟠ A curated list of awesome Solidity resources, libraries, tools and more | ||||||||||
| Remix Ide | 2,186 |  | 10 | 4 | 6 months ago | 44 | July 13, 2020 | mit | ||
| Documentation for Remix IDE | ||||||||||
| Smart Contracts | 1,326 | a year ago | 46 | other | Python | |||||
| Ethereum smart contracts for security and utility tokens | ||||||||||
| Awesome Solidity Gas Optimization | 1,064 | a year ago | n,ull | apache-2.0 | Solidity | |||||
| Best resources for Solidity gas optimizations ⛽ | ||||||||||
| Awesome Solidity Gas Optimization | 914 | 2 years ago | apache-2.0 | Solidity | ||||||
| Best resources for Solidity gas optimizations ⛽ | ||||||||||
| Vscode Solidity | 825 |  | 1 | 2 | 5 months ago | 2 | December 12, 2017 | 138 | mit | TypeScript |
| Visual Studio Code language support extension for Solidity smart contracts in Ethereum https://marketplace.visualstudio.com/items?itemName=JuanBlanco.solidity | ||||||||||
| Smart Contract Security Audits | 745 | 3 months ago | HTML | |||||||
| Certified Smart Contract Audits for Ethereum, Solana, Near, Cardano, Aptos, Sui, Binance Smart Chain, Fantom, EOS, Tezos by softstack (formerly Chainsulting) | ||||||||||
| Colonynetwork | 440 | 3 months ago | 57 | gpl-3.0 | JavaScript | |||||
| Colony Network smart contracts | ||||||||||
| Smart Contract Auditor Tools And Techniques | 384 | 3 months ago | ||||||||
| This repo contains a comprehensive list of smart contract auditor tools and techniques that can be utilized by both smart contract auditors and blockchain developers for developing secure smart contracts | ||||||||||
Alternatives To Verismart PublicSelect To Compare
Alternative Project Comparisons
Popular Smart Contracts Projects
Popular Solidity Contracts Projects
Popular Blockchain Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Blockchain
Ethereum
Solidity
Ocaml
Smart Contracts
Solidity Contracts
Program Analysis