Block or report user

Popular repositories

  1. GenCheck

    Test.GenCheck Haskell project

    Haskell 18 2

  2. pi-dual

    Collaborative work on reversible computing

    Agda 9 1

  3. TheoriesAndDataStructures

    Showing how some simple mathematical theories naturally give rise to some common data-structures

    Agda 2

  4. categories

    Forked from copumpkin/categories

    Categories parametrized by morphism equality, in Agda

    Agda 1

  5. literate-scientific-software

    Repository for working on both literate software and families of scientific software


  6. hol-light

    Forked from jrh13/hol-light

    The HOL Light theorem prover (moved from Google code)

    Standard ML

618 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

October 2017

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