Block or report user

Report or block avi-levy

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Pinned repositories

  1. bayes-net

    Implementation of a probabilistic knowledge base. Given a Bayes Net, efficiently compute all associated probabilities.

    Python 1 1

  2. dhl

    Admissible sets for the Dickson-Hardy-Littlewood Conjecture

    Python 1

  3. earthworm

    Simulations of the Earthworm model introduced by Burdzy et. al.

    Python 1

  4. percolation

    Code to run percolation on lattices and compute crossing probabilities

    Python 1

  5. theorem-prover

    I wrote a simple theorem prover in python. It uses minimal heuristics to resolve clauses in CNF.

    Python 1

  6. pbnsolve

    Automatically exported from

    C 4 1

2 contributions in the last year

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

Contribution activity

September 2018

avi-levy has no activity yet for this period.

August 2018

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