avi-levy/Adafruit_CC3000_Library
Library code for Adafruit's CC3000 WiFi breakouts &c
Developer Profile
avi-levy
Discovered public repositories for avi-levy in the GitHub catalog.
avi-levy/dhl
Admissible sets for the Dickson-Hardy-Littlewood Conjecture
avi-levy/bayes-net
Implementation of a probabilistic knowledge base. Given a Bayes Net, efficiently compute all associated probabilities.
avi-levy/theorem-prover
I wrote a simple theorem prover in python. It uses minimal heuristics to resolve clauses in CNF.
avi-levy/time-indicator-widget
Tiny time indicator applet for Ubuntu [useful if you have purged the evolution* packages]