Block or report user
  • Carnegie Mellon University - ISR
  • Pittsburgh - PA

Popular repositories

  1. vraptor-client

    Forked from nycholas/vraptor-client

    client who uses vraptor controller interfaces to create a proxy and access the resources

    Java 1

  2. TypeChef

    Forked from ckaestne/TypeChef

    Type checking ifdef variability

    C 1

  3. sec-soft-sys


  4. scalatra-sbt

    Forked from scalatra/sbt-scalatra

    An SBT Plugin to for scalatra


  5. TIP

    Forked from cs-au-dk/TIP

    Static program analysis for TIP


  6. redex-aam-tutorial

    Forked from dvanhorn/redex-aam-tutorial

    An Introduction to Redex with Abstracting Abstract Machines


2 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

February - May 2018

gabrielcsf has no activity yet for this period.

January 2018

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