Block or report user

Report or block luka-mikec

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse
  • Zagreb, Croatia

Pinned repositories

  1. provability_sat

    satisfiability verifiers for certain modal logics concerned with provability

    Nim

  2. mu_machine

    μ-recursive functions evaluation

    C++ 1

  3. reinforcement_ipd

    Finding a robust iterated prisoner dilemma strategy using reinforcement learning

    C++

  4. godellob-prover

    Automated theorem prover for Gödel-Löb system.

    C++

  5. valiant-parsing

    Implementation of algorithm from "General Context-Free Recognition in Less than Cubic Time" by Leslie G. Valiant (1975.)

    C++

  6. evo-clustering

    Forked from iliavolyova/evo-clustering

    Automatic clustering using a differential evolution approach

    Python

48 contributions in the last year

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

Contribution activity

July - September 2018

luka-mikec has no activity yet for this period.

June 2018

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