Block or report user

Report or block wuestholz

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Organizations

@boogie-org

Pinned repositories

  1. Microsoft/CodeContracts

    Source code for the CodeContracts tools for .NET

    C# 766 141

  2. klee/klee

    KLEE Symbolic Execution Engine

    C++ 900 313

  3. Microsoft/dafny

    Dafny is a verification-aware programming language

    C# 733 52

  4. seahorn/seahorn

    SeaHorn Verification Framework

    C 103 47

  5. ethereum/go-ethereum

    Official Go implementation of the Ethereum protocol

    Go 20.1k 6.8k

790 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri

Contribution activity

August 2018

120 contributions in private repositories Aug 1 – Aug 17

Seeing something unexpected? Take a look at the GitHub profile guide.