Skip to content


  • Arctic Code Vault Contributor

Popular repositories

  1. Music Player for iOS in swift

    Swift 9

  2. Fumi communication system

    Ruby 2 1

  3. A hanamogera tanka generator.

    Ruby 1 1

  4. 馬ツモの jupyter notebook

    Jupyter Notebook 1

  5. Learning Haskell


  6. Coq programs


24 contributions in the last year

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

Contribution activity

January 2021

Created 1 repository

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