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
  ☆73Updated 3 years ago
• ameensol / merkle-tree-solidity
  JS - Solidity sha3 merkle tree bridge. Generate proofs in JS; verify in Solidity.
  ☆111Updated last year
• JoinColony / solcover
  Code coverage for solidity
  ☆66Updated 8 years ago
• Ohalo-Ltd / solevm
  Partial implementation of the Ethereum runtime in Solidity (PoC)
  ☆78Updated 6 years ago
• hillstreetlabs / espresso
  👯 speedy, parallelized, hot-reloading solidity test framework
  ☆76Updated 7 years ago
• gnosis / dx-contracts
  🇳🇱✖️DutchX core smart contracts
  ☆45Updated 5 years ago
• ConsenSysDiligence / bytecode-verifier
  Compile Solidity source code and verify its bytecode matches the blockchain
  ☆89Updated last year
• ethereumjs / ethereumjs-blockstream
  Reliable stream of Ethereum blocks
  ☆85Updated last year
• ConsenSysDiligence / 0x-review
  Security review of 0x smart contracts
  ☆39Updated 8 years ago
• magmo / force-move-protocol
  A force-move protocol implementation
  ☆55Updated 2 years ago
• bokkypoobah / SolidityFlattener
  A Simple-To-Install Solidity Flattener
  ☆52Updated 6 years ago
• chriseth / patricia-trie
  ☆64Updated 3 years ago
• ConsenSys-archive / truffle-debugger
  Core functionality for debugging Solidity files built with Truffle
  ☆66Updated 7 years ago
• 0xProject / ZEIPs
  0x Improvement Proposals
  ☆91Updated 2 years ago
• SpankChain / chainsaw
  Simple Ethereum event tracking
  ☆55Updated 7 years ago
• maraoz / solidity-proxy
  Solidity implementation of a delegate proxy
  ☆92Updated 3 years ago
• SpankChain / general-state-channels
  Spankchain PoC implementation of generalized state channels
  ☆155Updated 7 years ago
• austintgriffith / clevis
  🗜️Ethereum blockchain orchestration, testing, and command line interface.
  ☆104Updated 3 years ago
• smartcontractkit / solidity-cborutils
  A library for encoding CBOR in Solidity.
  ☆66Updated 2 years ago
• counterfactual / monorepo
  Home for all packages related to the Counterfactual project
  ☆186Updated 5 years ago
• zeppelinos / zos-lib
  Deprecated repo in favour of https://github.com/zeppelinos/zos
  ☆62Updated 7 years ago
• dpilch / solmd
  Markdown documentation generator for Solidity
  ☆34Updated 3 years ago
• BANKEX / solidity-float-point-calculation
  Proof of concept of basic math operation with Solidity
  ☆57Updated 7 years ago
• GridPlus / cryptobridge-contracts
  Smart contracts for trustless bridges
  ☆75Updated 5 years ago
• barryWhiteHat / semaphore
  ☆111Updated 5 years ago
• Giveth / milestonetracker
  Milestone Tracker Contract
  ☆18Updated last year
• ethpm / ethpm-spec
  Ethereum Package Manager http://ethpm.github.io/ethpm-spec/
  ☆166Updated 2 years ago
• loomnetwork / plasma-paper
  Plasma Cash: Towards Improved Plasma Constructions.
  ☆50Updated 6 years ago
• ravidsrk / smart-contract-starter
  Boilerplate for your next Smart Contract, made simple.
  ☆52Updated 6 years ago
• chriseth / solidity-examples
  ☆95Updated 3 years ago