Block or report user


@smackers @MicrosoftResearch @Microsoft @mc-imperial @boogie-org @p-org

Pinned repositories

  1. p-org/PSharp

    Safe asynchronous event-driven .NET programming.

    C# 269 25

  2. dotnet/corefxlab

    This repo is for experimentation and exploring new ideas that may or may not make it into the main corefx repo.

    C# 1.1k 291

123 contributions in the last year

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

Contribution activity

June 2018

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