Popular repositories Loading

1. ds-chief ds-chief Public

   Forked from dapphub/ds-chief

   approval voting to select who wears the hat by consensus

   Solidity

2. v2-periphery v2-periphery Public

   Forked from Uniswap/v2-periphery

   🎚 Peripheral smart contracts for interacting with Uniswap V2

   Solidity

3. SmartContractHack_PoC SmartContractHack_PoC Public

   Forked from numencyber/SmartContractHack_PoC

   Solidity

4. fuzzer-evaluation fuzzer-evaluation Public

   Forked from aviggiano/fuzzer-evaluation

   Evaluating fuzzer effectiveness

   Solidity

5. EthBMC EthBMC Public

   Forked from baolean/EthBMC

   The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"

   Rust

6. halmos-sandbox halmos-sandbox Public template

   Forked from karmacoma-eth/halmos-sandbox

   A forkable template repo for easily writing and testing toy contracts

   Solidity