Skip to content
View blockchainHat's full-sized avatar

Block or report blockchainHat

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. surya surya Public

    Forked from Consensys/surya

    A set of utilities for exploring Solidity contracts

    JavaScript 1

  2. evm-semantics evm-semantics Public

    Forked from runtimeverification/evm-semantics

    K Semantics of the Ethereum Virtual Machine (EVM)

    Python 1

  3. echidna echidna Public

    Forked from crytic/echidna

    Ethereum smart contract fuzzer

    Solidity 1

  4. scribble scribble Public

    Forked from Consensys/scribble

    Scribble instrumentation tool

    TypeScript 1

  5. manticore manticore Public

    Forked from trailofbits/manticore

    Symbolic execution tool

    Python 1

  6. not-so-smart-contracts not-so-smart-contracts Public

    Forked from crytic/not-so-smart-contracts

    Examples of Solidity security issues

    Solidity 1