Block or report user

Pinned repositories

  1. cs-au-dk/MONA

    MONA - a decision procedure for monadic second-order logic on finite strings and trees

    C 10 4

279 contributions in the last year

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

Contribution activity First issue First repository Joined GitHub

October 2017

abakiaydin has no activity yet for this period.

September 2017

26 contributions in private repositories Sep 5 – Sep 10

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