Alternatives and similar repositories for soltix:

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

• federicobond / eth-mutants
  👾 A mutation testing tool for Solidity contracts
  ☆48Updated 6 years ago
• Consensys / security-workshop-for-devs
  Secure smart contract development workshop hosted by ConsenSys Diligence and MythX.
  ☆70Updated 5 years ago
• leapdao / solEVM-enforcer
  Partial implementation of the Ethereum runtime in Solidity (PoC)
  ☆99Updated 2 years ago
• ChainSecurity / audits
  Subset of public audit reports issued by ChainSecurity. For more, please visit:
  ☆29Updated last year
• Consensys / solidity-parser-antlr
  A Solidity parser for JS built on top of a robust ANTLR4 grammar
  ☆24Updated last year
• muellerberndt / sabre
  Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.
  ☆61Updated 4 years ago
• sec-bit / adelaide
  The SECBIT Static Analysis Extension to Solidity Compiler
  ☆19Updated 6 years ago
• gcolvin / evm-drag-race
  EVM performance tests for a range of clients
  ☆24Updated 5 years ago
• Ohalo-Ltd / solevm
  Partial implementation of the Ethereum runtime in Solidity (PoC)
  ☆78Updated 6 years ago
• dapphub / klab
  K framework proof explorer & smart contract specification format
  ☆123Updated 3 years ago
• ledgerwatch / eth_state
  data and charts for Ethereum state analysis
  ☆46Updated 5 years ago
• Consensys / mythx-playground
  Exercises to go along with smart contract security workshops by MythX and ConsenSys Diligence
  ☆41Updated 4 years ago
• Consensys / truffle-security
  MythX smart contract security verification plugin for Truffle Framework
  ☆125Updated 3 years ago
• Crypto-Punkers / resolver-engine
  Single API for resolving Solidity artefacts and imports
  ☆32Updated 2 years ago
• muellerberndt / laser-ethereum
  Symbolic virtual machine for Ethereum
  ☆68Updated 6 years ago
• gnosis / dx-contracts
  🇳🇱✖️DutchX core smart contracts
  ☆45Updated 5 years ago
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆45Updated 3 years ago
• lorenzb / proveth
  Generate & verify Merkle-Patricia-proofs for Ethereum
  ☆108Updated 2 years ago
• Consensys / bytecode-verifier
  Compile Solidity source code and verify its bytecode matches the blockchain
  ☆88Updated 7 months ago
• IC3Hydra / Hydra
  Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.
  ☆73Updated 6 years ago
• pirapira / vmtrace_visualizer
  A program that annotates a vm trace with dataflow information
  ☆35Updated 2 years ago
• kframework / solidity-semantics
  Semantics of Solidity in K
  ☆30Updated 5 years ago
• holiman / vmstats
  vmstats
  ☆31Updated 3 years ago
• ChainSafe / denode
  a mechanism for incentivizing full nodes
  ☆24Updated 6 years ago
• liquidity-network / nocust-contracts-solidity
  NOCUST single commit chain verifier implemented in solidity
  ☆14Updated 4 years ago
• magmo / force-move-protocol
  A force-move protocol implementation
  ☆55Updated 2 years ago
• balancer / configurable-rights-pool
  ☆34Updated 4 years ago
• ethsecurity / berlin-workshop
  This is a repo which serves to design and develop the website which contains ETHSecurity resources.
  ☆25Updated 6 years ago
• Consensys / armlet
  a MythX API client wrapper
  ☆17Updated 4 months ago
• gnosis / dex-zksnarks
  Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange
  ☆46Updated 6 years ago