Block or report user


@uwplse @uwsampa @Microsoft

Pinned repositories

  1. idris-erlang

    Erlang Backend for Idris Compiler

    Erlang 119 7

  2. Microsoft/checkedc

    Checked C is an extension of C that adds bounds checking to C. This repo contains the specification for the extension, test code, and samples.

    TeX 1.2k 81

  3. idris-lang/Idris-dev

    A Dependently Typed Functional Programming Language

    Haskell 1.5k 401

  4. Microsoft/checkedc-clang

    This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that adds checking to detect or prevent common programming errors such as out-of-bo…

    C++ 112 12

  5. duality

    PoC Auto Differentiation in Rust


  6. animated-wookie

    Tagged Reliable Causal Broadcast Prototype

    Erlang 4

64 contributions in the last year

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

Contribution activity First pull request First issue Joined GitHub

January 2017

Created a pull request in Microsoft/checkedc-clang that received 4 comments

Adds (De)Serialization of Declaration Bounds

This pull request comprehensively revisits and expands the PCH tests, and adds (de)serialization of the bounds associated with global variables, fu…

Created an issue in Microsoft/checkedc-clang that received 2 comments

Design the Control Flow for Dynamic Checks

We don't yet have a design for the control flow around dynamic checks (including the dynamic_check keyword) This is going to be based on how clang …


Joined the Microsoft organization


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