Block or report user

Popular repositories

  1. eff

    A functional programming language based on algebraic effects and their handlers.

    OCaml 342 16

  2. projekt-tomo

    Python 5 7

  3. izpit

    LaTeXovski paket za sestavljanje izpitnih pol

    TeX 3 1

  4. twelf-eff

    Formalization of Eff in Twelf


  5. generiranje-nalog

    Generiranje nalog v Mathematici

    Objective-C 2

  6. proofs

    A collection of mechanised proofs

    AMPL 2

420 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

May 2017

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