Block or report user

Report or block ceilican

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Organizations

@Paradoxika @FormalTheology

Popular repositories

  1. Skeptik

    Forked from Paradoxika/Skeptik

    A library for Proof Theory (especially Proof Compression) in Scala.

    Scala 4 2

  2. XMPP-Bot

    An XMPP bot implemented in Scala.

    Scala 2 1

  3. ProbLogic

    Probabilistic Temporal Logic

    1

  4. Karma

    Java

  5. Trees

    Java

  6. minisat

    Forked from niklasso/minisat

    A minimalistic and high-performance SAT solver

    C++

953 contributions in the last year

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

Contribution activity

July 2018

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