Alternatives and similar repositories for soltix

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

• muellerberndt / sabre
  Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.
  ☆59Updated 5 years ago
• federicobond / eth-mutants
  👾 A mutation testing tool for Solidity contracts
  ☆46Updated 7 years ago
• ConsenSysDiligence / 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)
  ☆102Updated 2 years ago
• ChainSecurity / audits
  Subset of public audit reports issued by ChainSecurity. For more, please visit:
  ☆29Updated 2 years ago
• Crypto-Punkers / resolver-engine
  Single API for resolving Solidity artefacts and imports
  ☆32Updated 2 years ago
• dapphub / klab
  K framework proof explorer & smart contract specification format
  ☆124Updated 4 years ago
• ConsenSysDiligence / truffle-security
  MythX smart contract security verification plugin for Truffle Framework
  ☆126Updated 3 years ago
• lorenzb / proveth
  Generate & verify Merkle-Patricia-proofs for Ethereum
  ☆110Updated 3 years ago
• argotorg / solidity-blog
  Collection of articles about the Solidity language and compiler
  ☆61Updated 2 years ago
• Ohalo-Ltd / solevm
  Partial implementation of the Ethereum runtime in Solidity (PoC)
  ☆78Updated 7 years ago
• ConsenSysDiligence / solidity-parser-antlr
  A Solidity parser for JS built on top of a robust ANTLR4 grammar
  ☆25Updated 2 years ago
• sec-bit / adelaide
  The SECBIT Static Analysis Extension to Solidity Compiler
  ☆18Updated 6 years ago
• anydotcrypto / docs.any.sender
  Documentation for the any.sender transaction relaying service
  ☆56Updated 5 years ago
• Consensys / permissioning-smart-contracts
  Smart contracts for the Besu permissioning system
  ☆49Updated 2 years ago
• ConsenSysDiligence / mythx-playground
  Exercises to go along with smart contract security workshops by MythX and ConsenSys Diligence
  ☆39Updated 5 years ago
• runtimeverification / erc20-semantics
  ERC20 in K
  ☆49Updated 6 years ago
• ricmoo / will-o-the-wisp
  Intentionally self-destructive Ethereal on-chain-ish Wallet. (Proof-of-Concept bootstrap technique with CREATE2)
  ☆35Updated 6 years ago
• jbaylina / ecsol
  Elliptic Curve Implementation in Solidity
  ☆80Updated 7 years ago
• snario / zknifty
  🎴Zero-knowledge non-fungible tokens on Ethereum using zk-SNARKs
  ☆96Updated 7 years ago
• ConsenSysDiligence / bytecode-verifier
  Compile Solidity source code and verify its bytecode matches the blockchain
  ☆87Updated last year
• ethereum934 / eth-mimblewimble
  Ethereum 9 3/4's zk-SNARKs circuits and the python library for Mimblewimble on Ethereum
  ☆80Updated 3 years ago
• ricmoo / Takoyaki
  ENS the fun and easy way; like a box of cereal, there is a toy at the bottom.
  ☆37Updated 3 years ago
• Arachnid / sggc
  Boilerplate and tests for the first Solidity Gas Golfing Contest
  ☆51Updated 7 years ago
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆44Updated 4 years ago
• IC3Hydra / Hydra
  Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.
  ☆73Updated 7 years ago
• merklejerk / flex-contract
  A modern, flexible Ethereum smart contract abstraction.
  ☆26Updated 2 years ago
• protolambda / beacon-schematic
  Schematic of the Ethereum 2.0 Beacon Chain specification
  ☆51Updated 6 years ago
• ricmoo / lurch
  Lurch is an Ethereum VM para-virtualization (ish) written in EVM bytecode.
  ☆84Updated 5 years ago
• ConsenSysDiligence / Uniswap-audit-report-2018-12
  ☆53Updated 6 years ago