Alternatives and similar repositories for sol-verifier

Users that are interested in sol-verifier are comparing it to the libraries listed below

• Aniket-Engg / sol-profiler
  CLI Tool to List & Store Solidity Smart Contract Methods Attributes
  ☆29Updated 4 years ago
• aragon / radspec
  🤘 Radspec is a safe interpreter for Ethereum's NatSpec
  ☆143Updated last year
• ConsenSysDiligence / security-workshop-for-devs
  Secure smart contract development workshop hosted by ConsenSys Diligence and MythX.
  ☆70Updated 6 years ago
• OpenZeppelin / openzeppelin-test-environment
  [Not actively maintained] One-line setup for blazing-fast smart contracts tests
  ☆89Updated 4 years ago
• 5afe / contract-proxy-kit
  Enable batched transactions and contract account interactions using a unique deterministic Gnosis Safe.
  ☆103Updated 3 years ago
• sky-ecosystem / dss-deploy-scripts
  ☆49Updated 2 years ago
• sky-ecosystem / optimism-dai-bridge
  Optimism Dai and upgradable token bridge
  ☆75Updated 2 years ago
• authereum / contracts
  🛡️ Authereum smart contracts
  ☆53Updated 3 years ago
• teller-protocol / teller-protocol-v1
  Teller is a lending and undercollateralized borrowing protocol on the Ethereum blockchain. Teller is the first protocol to allow zero col…
  ☆106Updated 3 months ago
• omni / omnibridge-ui
  OmniBirdge UI is a web application interacting with OmniBridge FT and AMB contracts to transfer ERC20/ERC677 tokens between EVM-based blo…
  ☆77Updated 2 years ago
• ConsenSysDiligence / mythx-playground
  Exercises to go along with smart contract security workshops by MythX and ConsenSys Diligence
  ☆39Updated 5 years ago
• argotorg / solidity-blog
  Collection of articles about the Solidity language and compiler
  ☆61Updated 2 years ago
• bcnmy / mexa
  Repository contains smart contracts for biconomy's Mexa platform to implement meta transactions and allow dapp users to perform blockchai…
  ☆94Updated last year
• nachomazzara / web3playground
  Web3 & Smart contracts Playground
  ☆56Updated 3 years ago
• cryptofinlabs / cryptofin-solidity
  A collection of Solidity libraries for building secure and gas-efficient smart contracts on Ethereum.
  ☆85Updated 6 years ago
• usmfum / USM
  Minimalist USD - A minimalist, collateralized stablecoin built on Ethereum.
  ☆138Updated 4 years ago
• Instadapp / dsa-connectors-old
  Awesome list of DSA Connectors
  ☆65Updated 4 years ago
• ensdomains / resolvers
  A collection of resolvers for ENS domains
  ☆73Updated 3 years ago
• merklejerk / solpp
  A solidity preprocessor and flattener CLI and library
  ☆112Updated 2 years ago
• authereum / eth-revert-reason
  📝 Get the revert reason from an Ethereum transaction hash
  ☆71Updated 5 years ago
• remix-project-org / remix-workshops
  ☆113Updated 3 months ago
• dapphub / chai
  ERC20 wrapper over the Dai Savings Rate
  ☆147Updated 5 years ago
• Consensys / permissioning-smart-contracts
  Smart contracts for the Besu permissioning system
  ☆49Updated 3 years ago
• gnosisguild / zodiac-module-reality
  A Zodiac module that uses Reality.eth as an oracle for triggering execution on a Safe.
  ☆104Updated 11 months ago
• yam-finance / yam-www
  Yam website.
  ☆45Updated 2 years ago
• pickle-finance / protocol
  Pickle Protocols
  ☆127Updated 2 years ago
• gnosis / mock-contract
  Simple Solidity contract to mock dependent contracts in truffle tests.
  ☆93Updated 3 years ago
• stakewise / contracts
  StakeWise smart contracts.
  ☆125Updated last year
• Synthetixio / SIPs
  The Synthetix Improvement Proposal repository
  ☆122Updated this week
• Amxx / KitsuneWallet-ERC1836
  Kitsune Wallet (formerly known as Universally Upgradable Identity Proxy) - ERC1836
  ☆20Updated 3 years ago