Block or report user
Developer Program Member



Popular repositories

  1. react-shower

    Shower presentation engine running on React

    JavaScript 31 3

  2. potemkin

    Simple one-time note service

    Go 13

  3. reshower

    Simple tool for automating tasks for react-shower presentations

    JavaScript 3

  4. meteor-xo-demo

    This is a simple demo using metorjs framework reactivity features

    CoffeeScript 2

  5. presentations

    Some of my presentations

    JavaScript 1

  6. node-supervisor

    Forked from petruisfan/node-supervisor

    JavaScript 1

285 contributions in the last year

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

Contribution activity First repository Joined GitHub

March 2017

Termina1 has no activity yet for this period.

February 2017

Created a pull request in papers-we-love/ that received 2 comments

Add saint-petersburg chapter

Also, we don't have a profile, is this mandatory?

Created an issue in idris-lang/Idris-dev that received 4 comments

Positivity checker issue when inductive data-type use is in a parameter of another data-type

mutual data First = FirstSimple | FirstSecond Second data Second = SecondSimple | SecondFirst (List First) mutual calculate : First -> Nat calculate …

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