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
• sky-ecosystem / dss-deploy
  Set of smart contracts and bash scripts to deploy Multi collateral DAI
  ☆69Updated 2 years ago
• Instadapp / dsa-connectors-old
  Awesome list of DSA Connectors
  ☆65Updated 4 years ago
• sky-ecosystem / dss-deploy-scripts
  ☆49Updated 2 years ago
• pie-dao / pie-smart-pools
  Pie balancer smart pool controllers
  ☆55Updated 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…
  ☆77Updated last year
• 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 years ago
• Consensys / permissioning-smart-contracts
  Smart contracts for the Besu permissioning system
  ☆49Updated 2 years ago
• OpenZeppelin / openzeppelin-test-environment
  [Not actively maintained] One-line setup for blazing-fast smart contracts tests
  ☆90Updated 3 years ago
• authereum / contracts
  🛡️ Authereum smart contracts
  ☆56Updated 3 years ago
• ethereum / remix-plugins-directory
  Remix plugins directory
  ☆56Updated last month
• unitprotocol / core
  ☆47Updated last year
• Moloch-Mystics / moloch-v3
  MolochDAO smart contracts
  ☆27Updated 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
• ConsenSysDiligence / security-workshop-for-devs
  Secure smart contract development workshop hosted by ConsenSys Diligence and MythX.
  ☆70Updated 5 years ago
• GeorgeBrownCollege-Toronto / Advanced-Smart-Contracts
  Geth, Truffle,Drizzle web3.js,ethers.js, smart contract patterns and solidity assembly https://bcdv1013.surge.sh/
  ☆1Updated 2 years ago
• aragon / radspec
  🤘 Radspec is a safe interpreter for Ethereum's NatSpec
  ☆141Updated 11 months ago
• 5afe / contract-proxy-kit
  Enable batched transactions and contract account interactions using a unique deterministic Gnosis Safe.
  ☆104Updated 2 years ago
• sushiswap / kashi-lending
  ☆82Updated 2 years ago
• sky-ecosystem / mips
  Maker Improvement Proposals (MIPs)
  ☆75Updated 10 months ago
• kaonone / delphi
  💥 Earn Rewards for Saving and Liquidity Provision (work in progress)
  ☆23Updated 2 years ago
• sky-ecosystem / dss-proxy-actions
  Set of proxy functions for MCD (using mcd-cdp-handler)
  ☆73Updated 2 years ago
• cryptofinlabs / cryptofin-solidity
  A collection of Solidity libraries for building secure and gas-efficient smart contracts on Ethereum.
  ☆86Updated 6 years ago
• balancer / configurable-rights-pool
  ☆34Updated 4 years ago
• eveem-org / asterix
  An example script finding self-destructs in Eveem sources published on BigQuery
  ☆46Updated last year
• ConsenSysDiligence / mythx-playground
  Exercises to go along with smart contract security workshops by MythX and ConsenSys Diligence
  ☆40Updated 4 years ago
• ensdomains / resolvers
  A collection of resolvers for ENS domains
  ☆72Updated 2 years ago
• kleros / kleros-interaction
  Smart contracts able to interact with Kleros
  ☆87Updated 10 months ago
• 5afe / safe-relay-service
  Relay Tx Service for Gnosis Safe
  ☆59Updated last year
• mstable / mStable-app
  📀 Lite application to interface with the mStable protocol
  ☆56Updated 3 years ago