blockchainsllc / piet

Related projects: ⓘ

• solidified-platform / audits
  Audits performed by Solidified
  ☆180Updated 3 months ago
• merklejerk / solpp
  A solidity preprocessor and flattener CLI and library
  ☆112Updated last year
• Consensys / truffle-security
  MythX smart contract security verification plugin for Truffle Framework
  ☆124Updated 2 years ago
• aragon / radspec
  🤘 Radspec is a safe interpreter for Ethereum's NatSpec
  ☆140Updated last month
• PaulRBerg / multisol
  CLI application for verifying Solidity contracts on Etherscan
  ☆114Updated 3 months ago
• JoranHonig / vertigo
  Mutation Testing for Ethereum Smart Contracts
  ☆202Updated 9 months ago
• maxwoe / solidity_patterns
  Smart Contracts Design Patterns in the Ethereum Ecosystem and Solidity Code
  ☆58Updated 3 years ago
• Consensys / security-workshop-for-devs
  Secure smart contract development workshop hosted by ConsenSys Diligence and MythX.
  ☆70Updated 4 years ago
• cryptofinlabs / cryptofin-solidity
  A collection of Solidity libraries for building secure and gas-efficient smart contracts on Ethereum.
  ☆88Updated 5 years ago
• usmfum / USM
  Minimalist USD - A minimalist, collateralized stablecoin built on Ethereum.
  ☆133Updated 2 years ago
• theethernaut / pocketh
  A pocket knife for auditing smart contracts.
  ☆254Updated last year
• bokkypoobah / BokkyPooBahsRedBlackTreeLibrary
  BokkyPooBah's Red-Black Binary Search Tree Library
  ☆145Updated 2 years ago
• CementDAO / Fixidity
  Fixidity: A fixed point mathematics library for Solidity
  ☆99Updated last year
• gnosis / mock-contract
  Simple Solidity contract to mock dependent contracts in truffle tests.
  ☆94Updated 2 years ago
• clesaege / HackSmartContract
  Smart contracts to practice your (WH) hacking skills.
  ☆94Updated 6 months ago
• alexvansande / MuchClearerDAI
  Dai Stablecoin System
  ☆120Updated 4 years ago
• Austin-Williams / flash-mintable-tokens
  ☆147Updated this week
• benjaminion / YellowPaper_CheatSheet
  A quick reference for symbols and conventions used in the Ethereum Yellow Paper.
  ☆108Updated 3 years ago
• muellerberndt / sabre
  Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.
  ☆60Updated 4 years ago
• muellerberndt / awesome-mythx-smart-contract-security-tools
  A curated list of resources and tools for the MythX smart contract security API
  ☆248Updated 4 years ago
• thedarkjester / SolidityGasSamples
  This is to illustrate different ways to optimise gas - what to do and what not to do
  ☆77Updated 2 years ago
• Consensys / vscode-solidity-metrics
  Generate Solidity Source Code Metrics, Complexity and Risk profile reports for your project.
  ☆46Updated 2 months ago
• guylando / KnowledgeLists
  Contains lists of things to know/remember in different topics
  ☆183Updated 2 years ago
• lorenzb / libsubmarine
  Implementation of a novel practical scheme for submarine commitments
  ☆224Updated last year
• Consensys / blockchainSecurityDB
  ☆90Updated 2 months ago
• tintinweb / smart-contract-inspector
  the magic X-ray machine for solidity smart contracts
  ☆172Updated 2 years ago
• Consensys / Uniswap-audit-report-2018-12
  ☆51Updated 5 years ago
• crytic / etheno
  Simplify Ethereum security analysis and testing
  ☆330Updated last year
• dapphub / chai
  ERC20 wrapper over the Dai Savings Rate
  ☆147Updated 4 years ago
• miguelmota / solidity-create2-example
  Example of how to use the CREATE2 opcode released in the Constantinople update for Ethereum
  ☆119Updated 4 years ago