avi-levy
This is my personal github, it is unaffiliated with my employer @microsoft
UnaffiliatedSeattle
Pinned Repositories
bayes-net
Implementation of a probabilistic knowledge base. Given a Bayes Net, efficiently compute all associated probabilities.
Chessoid
A Chess app for android
cryptogram-solver
English Cryptogram solver in Python.
dhl
Admissible sets for the Dickson-Hardy-Littlewood Conjecture
doc2text
Detect text blocks and OCR poorly scanned PDFs in bulk. Python module available via pip.
earthworm
Simulations of the Earthworm model introduced by Burdzy et. al.
ExperimentalWebsite
Visual navigation engine using hyperbolic rotations
pbnsolve
Automatically exported from code.google.com/p/pbnsolve
percolation
Code to run percolation on lattices and compute crossing probabilities
theorem-prover
I wrote a simple theorem prover in python. It uses minimal heuristics to resolve clauses in CNF.
avi-levy's Repositories
avi-levy/pbnsolve
Automatically exported from code.google.com/p/pbnsolve
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/Chessoid
A Chess app for android
avi-levy/cryptogram-solver
English Cryptogram solver in Python.
avi-levy/doc2text
Detect text blocks and OCR poorly scanned PDFs in bulk. Python module available via pip.
avi-levy/earthworm
Simulations of the Earthworm model introduced by Burdzy et. al.
avi-levy/ExperimentalWebsite
Visual navigation engine using hyperbolic rotations
avi-levy/ManhattanSurface
Manhattan Surface Ray Tracer
avi-levy/percolation
Code to run percolation on lattices and compute crossing probabilities
avi-levy/seshat
Handwritten math expression parser
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]
avi-levy/Adafruit_CC3000_Library
Library code for Adafruit's CC3000 WiFi breakouts &c
avi-levy/opengl-rubix
An OpenGL Rubik's cube implementation
avi-levy/pageturn
simple shim to use a surface as a digital page turning device
avi-levy/playground
avi-levy/spacey
a tiny browser extension that toggles a timer on space down
avi-levy/translations
some maths papers in English