Block or report user

Report or block nekketsuuu

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Pinned repositories

  1. lambda2pi

    λ → π

    Go 4

  2. satysfi-my-soul

    Website for SATySFi snippets


  3. processing-practice



  4. ocaml_travis_ci

    Travis CI benchmarks for OCaml


  5. satysfi-matrix

    Math matrix library for SATySFi

    3 1

  6. SatysfiFilter

    Pandoc filter to add compiled result of SATySFi

    Haskell 2

613 contributions in the last year

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

Contribution activity

December 2018

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