Block or report user

Popular repositories

  1. cyp

    Checker for "morally correct" induction proofs about haskell programs

    Haskell 12 1

  2. isabelle-patsubst

    Implementation of a pattern-based substitution method for Isabelle

    Standard ML 2 1

  3. pratt

    A formalization of Pratt's Prime Number Certificates in Isabelle

    Isabelle 1

  4. Smack

    Forked from igniterealtime/Smack

    An Open Source XMPP (Jabber) client library


  5. tasty

    Forked from feuerbach/tasty

    Modern and extensible testing framework for Haskell


  6. tasty-html

    Forked from feuerbach/tasty-html

    HTML test reporter for the Tasty test framework


2 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

January - September 2017

noschinl has no activity yet for this period.

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