Block or report user

Popular repositories

  1. nano-Agda

    Forked from larrytheliquid/nano-Agda

    Tiny type-checker with dependent types

    Haskell

  2. godels-t

    Forked from msullivan/godels-t

    Formalization of a bunch of properties of Godel's System T in agda

    Agda

  3. dotfiles

    Forked from mathiasbynens/dotfiles

    🔧 .files, including ~/.osx — sensible hacker defaults for OS X

    VimL

  4. idrisregexp

    Forked from rodrigogribeiro/idrisregexp

    Regular expression matching in Idris

    Idris

  5. agda-prelude

    Forked from UlfNorell/agda-prelude

    Programming library for Agda

    Agda

2 contributions in the last year

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

Contribution activity First pull request First issue Joined GitHub

February - March 2017

ashley-woodard has no activity yet for this period.

January 2017

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