Block or report user

Organizations

@workcraft

Pinned repositories

  1. workcraft

    Forked from workcraft/workcraft

    Framework for simulation, synthesis and verification of interpreted graph models.

    Java

  2. workcraft/workcraft-dist-template

    Template for Workcraft distribution

    Haskell 1

  3. workcraft/workcraft-doc

    Help and tutorial pages for Workcraft

    HTML

  4. tuura/concepts-article

    An article in development for Concepts

    TeX 2

525 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

February 2018

Created a pull request in workcraft/workcraft that received 1 comment

2 contributions in private repositories Feb 1

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