Skip to content


  • Arctic Code Vault Contributor



Popular repositories

  1. Play Minesweeper by formally proving your moves in Idris

    Haskell 158 3

  2. Haskell bindings for bcrypt

    C 15 11

  3. An experimental HTTP framework for Idris

    Idris 12 5

  4. A program for converting from SBML to CellML

    Ruby 5 2

  5. Enable Unsigned Firefox Addons

    Shell 5 1

  6. Haskell bindings for libappindicator

    Haskell 4

14 contributions in the last year

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

Contribution activity

January 2021

A1kmm has no activity yet for this period.

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