Block or report user

Organizations

@tdiary @netbsdman @ajhc @metasepi @readcoqart @jats-ug @fpiot @ats-lang

Popular repositories

  1. readPurelyFunctionalDataStructures

    OCaml 6 1

  2. masterq-docs

    My documents

    TeX 4 1

  3. carettah

    Carettah := Make your presentation more fun!

    Haskell 4 1

  4. coqtactic-injectfalse

    Custom tactic named "ij_injectfalse" injects False into the hypothesis

    OCaml 2

  5. madogiwa_bot

    Forked from sifue/twitter_oauth_bot

    Oauth認証できるRuby製Twitterのボットスクリプト

    Ruby 1

  6. my_prelude

    ぼくのかんがえた最強のPrelude

    Haskell 1

678 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

August 2017

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