Block or report user

Organizations

@lemmatheultimate @ditto @orca-lang

Popular repositories

  1. ICFP2012

    ICFP 2012 Programming Contest - Template MetaProgramming in C++ Solution

    C++ 6

  2. hnh

    HNH is Not Haskell

    Haskell 3

  3. LogicParser

    An example of a parser using menhir, ulex with unicode and ocamlbuild

    OCaml 2

  4. NbE

    Exploring Normalization by Evaluation

    Agda 2

  5. babybel

    A baby version of Beluga's contextual objects for OCaml

    OCaml 2

  6. mil

    It's a simple image processing library in c++.

    C++ 1

252 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

April 2017

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