Block or report user

Report or block amutake

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse


@worksap-ate @white-chocolate @prove-everywhere @tousetsukai @fialyzer

Popular repositories

  1. actario

    Verification Framework for Actor Systems on Coq

    OCaml 19 2

  2. haskelltter

    Twitter client on GHCi (inspired by ocamltter)

    Haskell 7 1

  3. coq-extensible-effects

    Extensible Effects in Coq

    Coq 7

  4. github-post-receive

    A library to construct github post-receive servers.

    Haskell 5 3

  5. haskell-relational-record-driver-oracle

    [Obsolete] Oracle driver for haskell-relational-record

    Haskell 4 1

  6. a-pi

    Formalization of Aπ-calculus in Coq

    Coq 4

145 contributions in the last year

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

Contribution activity

July 2018

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