Block or report user


@java-parallelism-examples @kframework @Formal-Systems-Laboratory

Pinned repositories

  1. wala/WALA

    T.J. Watson Libraries for Analysis

    Java 144 84

  2. dxflibrary

    A DXF library written in C#. Currenly it contains only DXF constructing and generator classes.

    C# 22 17

  3. WALAFacade

    facade for using WALA from Scala

    Scala 11 5

  4. IteRace

    race detection for Java parallel loops

    Scala 3 2

  5. kframework/kale

    kale backend

    Scala 2 5

220 contributions in the last year

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

Contribution activity First issue First repository Joined GitHub

November 2017

cos has no activity yet for this period.

October 2017

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