Block or report user

Popular repositories

  1. foveran

    A Dependently Typed Programming Language

    Haskell 23

  2. ocamlmvc

    An MVC library for writing interactive webpages in OCaml

    OCaml 23

  3. sorting-types

    Typed DSLs for sorting

    Agda 15 1

  4. unboxed

    Unboxed arrays for OCaml

    OCaml 14

  5. algebraically-indexed-types

    Repository for documents and experiments to do with algebraically-indexed types

    TeX 11 1

  6. system-f-parametricity-model

    A Model of Relationally Parametric System F in Coq

    Coq 8 1

110 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

March 2017

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