Block or report user

Report or block alexrenda

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Pinned repositories

  1. cucapra/opal-bot

    hyp { with { at { bot; } } }

    TypeScript 1 1

  2. Omacs


  3. opal-bot

    Forked from cucapra/opal-bot

    hyp { with { at { bot; } } }


  4. cucapra/opal

    office productivity assistant language


  5. verified-gc

    A verified mark-sweep GC in Coq


  6. async-lp-sgd

    Asynchronous Adam (and more!)


436 contributions in the last year

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

Contribution activity

November 2018

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