Skip to content


  • Arctic Code Vault Contributor



Popular repositories

  1. This repository includes a joined query generator based on typefull relational algebra, and mapping tools between SQL values list and Haskell record type.

    Haskell 218 32

  2. Compatibility of TimeLocale between old-locale and time-1.5

    Haskell 7 3

  3. Extends invertible-syntax library capable to use parameterized token type.

    Haskell 6 1

  4. Codes for 'Software Foundations'

    Coq 5 4

  5. small examples of proof object programming

    Haskell 5

  6. Debian package build sequence tools

    Haskell 5

1,049 contributions in the last year

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

Contribution activity

September 2020

6 contributions in private repositories Sep 11 – Sep 18

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

You can’t perform that action at this time.