GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.
Sign up
Fetching latest commit…
| Type | Name | Latest commit message | Commit time |
|---|---|---|---|
| Failed to load latest commit information. | |||
|
annots | ||
|
|
data | ||
|
|
Makefile | ||
|
|
README.md | ||
|
|
bench_detect.py | ||
|
|
bench_detect2.py | ||
|
|
conversion.py | ||
|
|
detect.py | ||
|
|
exp_repair_random.py | ||
|
|
gen_interp.py | ||
|
|
gen_repair_and_interp.py | ||
|
|
lang.py | ||
|
|
ml_util.py | ||
|
|
plot_bench_detect.py | ||
|
|
plot_bench_detect2.py | ||
|
|
plot_interp.py | ||
|
|
plot_interp.py.back | ||
|
|
plot_repair_random.py | ||
|
|
plot_util.py | ||
|
|
probmonad.py | ||
|
|
repair.py | ||
|
|
subexp_stats.py | ||
|
|
util.py | ||
First install python and pip in your favorite system-specific manner. Then install the required pip packages:
pip install PyMonad pandas numpy scipy matplotlib
See Makefile targets and the paper.