Block or report user

Popular repositories

  1. model-checker-benchmarks

    CDSChecker benchmark suite

    C 2 1

  2. chromeos

    Forked from torvalds/linux

    Linux kernel source tree

    C

  3. UBIFS-backports

    UBIFS backports, for infradead.org

    C

  4. uci-thesis-latex

    Forked from lotten/uci-thesis-latex

    LaTeX template for thesis and dissertation documents at UC Irvine

    Python

  5. model-checker

    CDSChecker: A Model Checker for C11 and C++11 Atomics

    C++

  6. bbb-floppy

    Floppy Drive Music for the BeagleBone Black

    C

59 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

August 2017

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