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
  ☆30Updated 3 years ago
• pie-dao / pie-smart-pools
  Pie balancer smart pool controllers
  ☆55Updated 2 years ago
• makerdao / dss-deploy-scripts
  ☆49Updated last year
• Instadapp / dsa-connectors-old
  Awesome list of DSA Connectors
  ☆65Updated 4 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
• makerdao / dss-proxy-actions
  Set of proxy functions for MCD (using mcd-cdp-handler)
  ☆73Updated 2 years ago
• makerdao / dss-deploy
  Set of smart contracts and bash scripts to deploy Multi collateral DAI
  ☆68Updated 2 years ago
• unitprotocol / core
  ☆47Updated last year
• authereum / contracts
  🛡️ Authereum smart contracts
  ☆55Updated 3 years ago
• balancer / configurable-rights-pool
  ☆34Updated 4 years ago
• makerdao / dss-teleport
  ☆80Updated 2 years 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…
  ☆76Updated last year
• ConsenSysDiligence / security-workshop-for-devs
  Secure smart contract development workshop hosted by ConsenSys Diligence and MythX.
  ☆70Updated 5 years ago
• ConsenSysDiligence / mythx-playground
  Exercises to go along with smart contract security workshops by MythX and ConsenSys Diligence
  ☆40Updated 4 years ago
• kaonone / delphi
  💥 Earn Rewards for Saving and Liquidity Provision (work in progress)
  ☆23Updated 2 years ago
• curvefi / curve-contract-polygon
  Curve.fi exchange implementation for Polygon.
  ☆47Updated 2 years ago
• Moloch-Mystics / moloch-v3
  MolochDAO smart contracts
  ☆27Updated 4 years ago
• 5afe / safe-relay-service
  Relay Tx Service for Gnosis Safe
  ☆59Updated last year
• makerdao / optimism-dai-bridge
  Optimism Dai and upgradable token bridge
  ☆74Updated 2 years ago
• notional-finance / contracts
  Notional Finance Smart Contracts
  ☆44Updated 4 years ago
• aave / ethlondon-flash
  Flashy workshop
  ☆37Updated 2 years ago
• gnosis / mock-contract
  Simple Solidity contract to mock dependent contracts in truffle tests.
  ☆93Updated 3 years ago
• nayms / contracts-v2
  Smart contracts for Nayms marketplace V2
  ☆36Updated 2 years ago
• sushiswap / limit-order
  ☆17Updated 3 years ago
• ConsenSysDiligence / vscode-solidity-metrics
  Generate Solidity Source Code Metrics, Complexity and Risk profile reports for your project.
  ☆50Updated 4 months ago
• sushiswap / kashi-lending
  ☆82Updated 2 years ago
• gnosisguild / zodiac-safe-app
  ☆26Updated 2 weeks ago
• Consensys / permissioning-smart-contracts
  Smart contracts for the Besu permissioning system
  ☆47Updated 2 years ago
• wearekickback / contracts
  Kickback contracts
  ☆36Updated 2 years ago
• ejwessel / GanacheTimeTraveler
  Web3 ganache-cli commands that allow moving forward and backward in time
  ☆48Updated last year