Skip to content


  • Arctic Code Vault Contributor
  • Pro

Popular repositories

  1. Personal blog theme powered by Hugo

    HTML 303 183

  2. File manager for Android with Material Design

    Java 61 35

  3. Hugo package for Atom

    CoffeeScript 6 3

  4. Sensor dashboard and logger for Android

    Kotlin 4

  5. Oberon language support in Atom


  6. Simple unit converter for Android

    Kotlin 3

146 contributions in the last year

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

Contribution activity

July - August 2020

calintat has no activity yet for this period.

June 2020

Created a pull request in agda/agda-stdlib that received 2 comments

Add composition in Relation.Binary.Construct

Hi, I thought it would be useful to have composition of binary relations in Relation.Binary.Construct since I needed it in one of my projects. I al…

+84 −0 2 comments
66 contributions in private repositories Jun 1 – Jun 29

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

You can’t perform that action at this time.