Block or report user

Popular repositories

  1. FEECa

    FEECa: Finite Element Exterior Calculus in Haskell

    Haskell 18 2

  2. AndroidExamples

    Forked from morganericsson/AndroidExamples

    Java

  3. euler-and-friends

    Solution snippets to Project Euler problems.

    Haskell

  4. GameOfLife

    A basic Haskell implementation of the Game of Life with simple OpenGL graphics. Course-work.

    Haskell

  5. GTS-GFOK080

    GTS course - Introduction to writing for publication: CARS analysis work.

    TeX

  6. coq-course

    Forked from vlopezj/coq-course

    Coq course at Chalmers CSE

    Coq

101 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

June - July 2017

Airini has no activity yet for this period.

May 2017

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