Block or report user

Report or block ptarau

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. binprolog

    Automatically exported from

    C 4 1

  2. iProlog

    Java-based lightweight Prolog virtual machine

    Java 3 6

  3. play

    A Logic Programming Playground for Lambda Terms, Combinators, Types and Tree-based Arithmetic Computations

    Prolog 2 1

  4. jinniprolog

    Automatically exported from

    Java 2

  5. kernel-prolog

    Automatically exported from

    HTML 2 1

  6. TypesAndProofs

    Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems

    Prolog 1

16 contributions in the last year

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

Contribution activity

October 2018

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