Block or report user

Report or block davidbarsky

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse
Developer Program Member

Pinned repositories

  1. fs-sync

    rsync, but with more colors.

    Rust 1

  2. sirens

    Quantitative analysis of task scheduling heuristics

    Java 1

  3. sequential

    Verification of linearizable operations


66 contributions in the last year

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

Contribution activity

July 2018

1 contribution in private repositories Jul 9

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