Block or report user

Report or block simonjantsch

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. dockercook

    Forked from factisresearch/dockercook

    A build tool for multiple docker image layers


  2. gipeda

    Forked from nomeata/gipeda

    Git Performance Dashboard


  3. vvt

    Forked from hguenther/vvt

    The Vienna Verification Toolkit


  4. bindings-llvm

    Forked from hguenther/bindings-llvm

    A low level binding to the C++ API of LLVM for Haskell


  5. owl-toolkit

    Forked from ghxiao/owl-toolkit

    a set of command line tools for OWL files powered by owl-api

    Web Ontology Language

  6. HOL

    Forked from HOL-Theorem-Prover/HOL

    Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.

    Standard ML

73 contributions in the last year

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

Contribution activity

June - September 2018

simonjantsch has no activity yet for this period.

May 2018

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