Block or report user

Report or block akr

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. tb

    manipulation tool for table: CSV, TSV, JSON, etc.

    Ruby 94 3

  2. ruby-usb

    libusb binding for Ruby

    C 55 31

  3. all-ruby

    Run various versions of ruby command

    Ruby 39 4

  4. gem-codesearch

    Set up a full text code search engine for rubygems mirror

    Ruby 27 4

  5. depq

    Double-Ended Priority Queue

    Ruby 14

  6. escape

    HTML/URI/shell escaping utilitiy functions for Ruby

    Ruby 14 4

201 contributions in the last year

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

Contribution activity

September 2018

akr has no activity yet for this period.

August 2018

Created an issue in coq/coq that received 1 comment

Anomaly "Uncaught exception Evarconv.UnableToUnify(_, _)." on elim of ssreflect

Version % coqtop -v The Coq Proof Assistant, version 8.8.1 (August 2018) compiled on Aug 15 2018 14:11:49 with OCaml 4.07.0 Operating system % ls…

1 comment

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