Popular repositories Loading

1. SmartContractHack_PoC SmartContractHack_PoC Public

   Forked from numencyber/SmartContractHack_PoC

   Solidity

2. fuzzer-evaluation fuzzer-evaluation Public

   Forked from aviggiano/fuzzer-evaluation

   Evaluating fuzzer effectiveness

   Solidity

3. 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

4. halmos-sandbox halmos-sandbox Public template

   Forked from 0xkarmacoma/halmos-sandbox

   A forkable template repo for easily writing and testing toy contracts

   Solidity

5. foundry-toolkit foundry-toolkit Public

   Forked from pessimistic-io/foundry-toolkit

   bits and pieces to fuzz with Foundry effectively

   Solidity

6. rareskills-blog-index rareskills-blog-index Public

   Forked from magnetto90/rareskills-blog-index

   Index of Rareskill Blog posts.

   JavaScript