Skip to content
Pro
Block or report user

Report or block hansjoergschurr

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Organizations

@LogicTypesPrograms
Block or report user

Report or block hansjoergschurr

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Pinned

  1. Tools to convert QBF and DQBF problems into higher order problems in TPTP THF format.

    Haskell

  2. A simple tracing tool for C code using the 'instrument-functions' feature of GCC. (Mirror of https://gitlab.inria.fr/hschurr/dotrace)

    Python

  3. Logic, Types, and Programs

    HTML 5 2

  4. Erlang library for RestAuth (incomplete)

    Erlang

5 contributions in the last year

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

Contribution activity

February 2020

hansjoergschurr has no activity yet for this period.

January 2020

5 contributions in private repositories Jan 1

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

You can’t perform that action at this time.