Block or report user

Popular repositories

  1. llvm2kittel

    Forked from s-falke/llvm2kittel


    C++ 1 2

  2. tinytocs-site

    Forked from pbailis/tinytocs-site

    Tiny Transactions on Computer Systems (TinyToCS) Volume 1 Site


  3. T2

    Forked from mmjb/T2

    T2 Temporal Prover

    C 1

  4. seahorn

    Forked from seahorn/seahorn

    SeaHorn Verification Framework


  5. z3

    Forked from Z3Prover/z3

    The Z3 Theorem Prover


0 contributions in the last year

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

Contribution activity First pull request First issue Joined GitHub

January - February 2017

hkhlaaf has no activity yet for this period.

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