Block or report user

Pinned repositories

  1. erlang/otp


    4,910 Erlang

  2. Artifact

    A new kind of database

    38 Elixir

  3. 9Problems

    A Tiling Window Manager for Plan9

    29 C

  4. SHA3ImplementedInsideofaRARfile

    The Keccak hash algorithm implemented inside of a RAR archive using the RAR filter assembly language

    18 Rust

  5. z3-mode

    An interactive development environment for SMT-LIB files and Z3

    7 Emacs Lisp

  6. Z3Prover/z3

    The Z3 Theorem Prover

    1,760 C++

967 contributions in the last year

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

Contribution activity First pull request First repository Joined GitHub

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