Block or report user

Pinned repositories

  1. g

    G programming language. For random text generation.


  2. marval

    First order logic library in Kotlin


198 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

March 2018

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