Alternatives and similar repositories for solcheck

Users that are interested in solcheck are comparing it to the libraries listed below

• TPL-protocol / tpl-contracts
  Proof of concept for the contracts implementing TPL
  ☆74Updated 3 years ago
• hillstreetlabs / espresso
  👯 speedy, parallelized, hot-reloading solidity test framework
  ☆76Updated 7 years ago
• ameensol / merkle-tree-solidity
  JS - Solidity sha3 merkle tree bridge. Generate proofs in JS; verify in Solidity.
  ☆111Updated last year
• Ohalo-Ltd / solevm
  Partial implementation of the Ethereum runtime in Solidity (PoC)
  ☆78Updated 6 years ago
• gnosis / dx-contracts
  🇳🇱✖️DutchX core smart contracts
  ☆45Updated 5 years ago
• JoinColony / solcover
  Code coverage for solidity
  ☆65Updated 8 years ago
• maraoz / solidity-proxy
  Solidity implementation of a delegate proxy
  ☆91Updated 3 years ago
• ethereumjs / ethereumjs-blockstream
  Reliable stream of Ethereum blocks
  ☆85Updated 10 months ago
• magmo / force-move-protocol
  A force-move protocol implementation
  ☆55Updated 2 years ago
• 0xProject / ZEIPs
  0x Improvement Proposals
  ☆91Updated 2 years ago
• SpankChain / general-state-channels
  Spankchain PoC implementation of generalized state channels
  ☆155Updated 7 years ago
• SilentCicero / solint
  A linting utility for Ethereum solidity smart-contracts
  ☆37Updated 9 years ago
• BANKEX / solidity-float-point-calculation
  Proof of concept of basic math operation with Solidity
  ☆57Updated 7 years ago
• smartcontractkit / solidity-cborutils
  A library for encoding CBOR in Solidity.
  ☆66Updated last year
• federicobond / eth-mutants
  👾 A mutation testing tool for Solidity contracts
  ☆48Updated 7 years ago
• axic / density
  Density is a library or collection of useful modifiers and methods for Solidity.
  ☆30Updated 9 years ago
• chriseth / patricia-trie
  ☆64Updated 3 years ago
• ethereum / oyente
  The project has been moved to this new repo https://github.com/melonproject/oyente
  ☆64Updated 8 years ago
• austintgriffith / clevis
  🗜️Ethereum blockchain orchestration, testing, and command line interface.
  ☆105Updated 3 years ago
• barryWhiteHat / miximus
  A proof of concept trustless ethereum mixer
  ☆231Updated 6 years ago
• Consensys / PLCRVoting
  Partial Lock Commit Reveal Voting System that utilizes ERC20 Tokens
  ☆177Updated last year
• bokkypoobah / SolidityFlattener
  A Simple-To-Install Solidity Flattener
  ☆52Updated 6 years ago
• GridPlus / cryptobridge-contracts
  Smart contracts for trustless bridges
  ☆75Updated 5 years ago
• SpankChain / chainsaw
  Simple Ethereum event tracking
  ☆55Updated 7 years ago
• dpilch / solmd
  Markdown documentation generator for Solidity
  ☆34Updated 3 years ago
• Giveth / milestonetracker
  Milestone Tracker Contract
  ☆18Updated last year
• smallbatch-apps / contract-events
  Inspection and debugging for Ethereum Smart Contract events
  ☆20Updated 7 years ago
• ConsenSysDiligence / truffle-security
  MythX smart contract security verification plugin for Truffle Framework
  ☆127Updated 3 years ago
• barryWhiteHat / semaphore
  ☆111Updated 5 years ago
• trufflesuite / truffle-debugger
  Core functionality for debugging Solidity files built with Truffle
  ☆67Updated 7 years ago