Block or report user

Popular repositories

  1. get-idris

    Setting up an Idris dev environment on Windows

    PowerShell 11 3

  2. arena

    An artless arena allocator

    C 1

  3. idris-lua

    A Lua backend for Idris

    Lua 1

  4. bytestring-storable

    Pick Storables off a ByteString


  5. Idris-dev

    Forked from idris-lang/Idris-dev

    A Dependently Typed Functional Programming Language


  6. getghc

    Easy GHC build setup on Windows


295 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

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