Block or report user



Popular repositories

  1. structura

    Modular Structure Editor


  2. idris-stdlib

    Unofficial Idris Standard Library


  3. libalgae

    A library for programming with algebraic data types

    0 C

0 contributions in the last year

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

Contribution activity First repository Joined GitHub

January - October 2016

guerrilla has no activity yet for this period.

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