Block or report user

Report or block jariazavalverde

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Pinned repositories

  1. tau-prolog

    An open source Prolog interpreter in JavaScript

    JavaScript 72 5

  2. fasill

    Fuzzy Aggregators and Similarities Into a Logic Language

    Prolog 2

  3. sat

    Boolean satisfiability problem

    C 2

313 contributions in the last year

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

Contribution activity

November 2018

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