Skip to content
Please note that GitHub no longer supports your web browser.

We recommend upgrading to the latest Google Chrome or Firefox.

Learn more
Block or report user

Report or block ret

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
Pro

Popular repositories

  1. specifica

    Umbrella project for short, swimlane and various TLA+ tools (parser, evaluator)

    Haskell 8 1

  2. lio-tutorial

    Forked from scslab/lio-tutorial

    Haskell and LIO tutorial

    CSS

  3. aeson

    Forked from bos/aeson

    A fast Haskell JSON library

    Haskell

  4. lio

    Forked from PLSysSec/lio

    Labeled IO Library

    Haskell

  5. mappend-1

    Forked from alevy/mappend

    Blog/CMS built with the Simple web framework in Haskell

    Haskell

  6. nixos-homepage

    Forked from NixOS/nixos-homepage

    Sources for nixos.org

    JavaScript

422 contributions in the last year

May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr Mon Wed Fri
Learn how we count contributions.
Less
More

Contribution activity

April 2019

5 contributions in private repositories Apr 7 – Apr 8

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

You can’t perform that action at this time.