Block or report user

Report or block psubotic

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. Abstract-Interpretation

    Abstract Interpretation for floating point arithmetic

    4

  2. Dependent-Types

    Prototype of language with dependent types

    2

  3. SouffleInterface

    C++, Java/Scala interface for Souffle

    C++ 1 1

  4. psubotic

    Personal Web Page

    CSS

  5. psubotic.github.io

    Pavle (Paul) Subotic

    CSS

  6. souffle

    Forked from souffle-lang/souffle

    Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

    C++

11 contributions in the last year

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

Contribution activity

September 2018

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