Block or report user

Popular repositories

  1. fib45

    Porównanie szybkości programów w wybranych językach programowania.

    Assembly 4

  2. prolog-standard-herbrand

    Generating elements of Herbrand's universe and base.

    Prolog 1

  3. prolog-xpce-tabsem

    Method of analytic tableaux for the first order logic.

    Prolog

  4. prolog-sicstus-celtic

    Celtic knot generator in SICStus Prolog with Tcl/Tk.

    Prolog

  5. prolog-c-WAM

    Experiments with WAM in C programming language.

    C

  6. c-xcode-masterslave

    Szkic aplikacji tworzącej procesy komunikujące się przez współdzieloną pamięć.

    C

288 contributions in the last year

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

Contribution activity Joined GitHub

April 2017

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