├── .github └── workflows │ └── ci.yml ├── .gitignore ├── .gitmodules ├── Cargo.lock ├── Cargo.toml ├── LICENSE ├── Makefile ├── POPL23.md ├── README.md ├── babble-macros ├── Cargo.toml └── src │ ├── lib.rs │ └── parse.rs ├── examples ├── anti_unif_1.bab ├── anti_unif_2.bab ├── anti_unif_3.bab ├── anti_unif_4.bab ├── anti_unif_5.bab ├── anti_unif_6.bab ├── cogsci │ ├── test.bab │ └── train.bab ├── dreamcoder-debugging.json ├── dreamcoder-list-tasks.json ├── filter-apply-right.bab ├── filter-embedded.bab ├── filter-list-2.bab ├── filter-list.bab ├── filter.bab ├── hello.bab ├── lib-lifting.bab ├── list-hello.bab ├── list-hof.bab ├── list-iterations.bab ├── max-compose.bab ├── nested-functions.bab ├── paper │ ├── kth_last.bab │ ├── kth_last_alt.bab │ ├── map_inc.bab │ ├── polygons-orig.bab │ ├── polygons.bab │ ├── polygons.rewrites │ └── take_n.json ├── psych │ ├── base.bab │ ├── dsr.bab │ └── subterm.bab ├── smiley_demo.bab ├── test.bab └── test_binder.bab ├── harness ├── Pipfile ├── Pipfile.lock ├── data │ ├── benchmark-dsrs │ │ ├── drawings.dials.rewrites │ │ ├── drawings.furniture.rewrites │ │ ├── drawings.nuts-bolts.rewrites │ │ ├── drawings.wheels.rewrites │ │ ├── list.rewrites │ │ └── physics.rewrites │ ├── cogsci │ │ ├── bridge.json │ │ ├── castle.json │ │ ├── city.json │ │ ├── dials-cleaned.bab │ │ ├── dials.bab │ │ ├── dials.json │ │ ├── furniture-cleaned.bab │ │ ├── furniture.bab │ │ ├── furniture.json │ │ ├── house.json │ │ ├── nuts-bolts-cleaned.bab │ │ ├── nuts-bolts.bab │ │ ├── nuts-bolts.json │ │ ├── wheels-cleaned.bab │ │ ├── wheels.bab │ │ └── wheels.json │ └── testing-benchmarks │ │ ├── list_list_hard_test_ellisk_2019-02-15T11.43.28 │ │ └── bench001_it1.json │ │ └── uninterpreted_counterexamples │ │ ├── expensive-argument.json │ │ ├── linear-pattern.json │ │ └── pairwise-au-lattice.json ├── data_gen │ ├── dc_res.csv │ ├── list-beam-400-lps-1-rounds-20.csv │ ├── physics-beam-400-lps-1-rounds-20.csv │ ├── res_compression.csv │ ├── res_drawing.csv │ ├── sweep_drawing_2022-06-29T10:42:01.522504.csv │ ├── sweep_drawing_2022-06-29T10:42:51.116658.csv │ ├── sweep_drawing_2022-06-29T10:43:38.046671.csv │ └── sweep_drawing_2022-06-29T10:45:38.687584.csv ├── main.py └── scripts │ ├── __init__.py │ ├── cleanup-cogsci.py │ ├── cogsci-table.py │ ├── generalization.py │ ├── param_sweep.py │ ├── plot-compression.py │ ├── plot-costs.py │ ├── plot-dsr-impact.py │ └── plot.py └── src ├── ast_node.rs ├── ast_node ├── expr.rs ├── partial_expr.rs └── pretty.rs ├── bin ├── benchmark │ └── main.rs ├── compression │ └── main.rs ├── drawings │ ├── eval.rs │ ├── lang.rs │ ├── main.rs │ └── svg.rs ├── list │ ├── lang.rs │ └── main.rs ├── parse_dc │ └── main.rs ├── print_benchmarks │ └── main.rs └── smiley │ ├── eval.rs │ ├── lang.rs │ ├── main.rs │ └── svg.rs ├── co_occurrence.rs ├── dfta.rs ├── dreamcoder.rs ├── dreamcoder ├── expr.rs ├── json.rs ├── parse.rs ├── types.rs └── util.rs ├── experiments.rs ├── experiments ├── beam_experiment.rs ├── cache.rs └── eqsat_experiment.rs ├── extract ├── beam.rs └── mod.rs ├── learn.rs ├── lib.rs ├── rewrites.rs ├── sexp.rs ├── simple_lang.rs ├── teachable.rs └── util.rs /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/.gitmodules -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/Makefile -------------------------------------------------------------------------------- /POPL23.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/POPL23.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/README.md -------------------------------------------------------------------------------- /babble-macros/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/babble-macros/Cargo.toml -------------------------------------------------------------------------------- /babble-macros/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/babble-macros/src/lib.rs -------------------------------------------------------------------------------- /babble-macros/src/parse.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/babble-macros/src/parse.rs -------------------------------------------------------------------------------- /examples/anti_unif_1.bab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/examples/anti_unif_1.bab -------------------------------------------------------------------------------- /examples/anti_unif_2.bab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/examples/anti_unif_2.bab -------------------------------------------------------------------------------- /examples/anti_unif_3.bab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/examples/anti_unif_3.bab -------------------------------------------------------------------------------- /examples/anti_unif_4.bab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/examples/anti_unif_4.bab -------------------------------------------------------------------------------- /examples/anti_unif_5.bab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/examples/anti_unif_5.bab -------------------------------------------------------------------------------- /examples/anti_unif_6.bab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/examples/anti_unif_6.bab -------------------------------------------------------------------------------- /examples/cogsci/test.bab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/examples/cogsci/test.bab -------------------------------------------------------------------------------- /examples/cogsci/train.bab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/examples/cogsci/train.bab -------------------------------------------------------------------------------- /examples/dreamcoder-debugging.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/examples/dreamcoder-debugging.json -------------------------------------------------------------------------------- /examples/dreamcoder-list-tasks.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/examples/dreamcoder-list-tasks.json -------------------------------------------------------------------------------- /examples/filter-apply-right.bab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/examples/filter-apply-right.bab -------------------------------------------------------------------------------- /examples/filter-embedded.bab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/examples/filter-embedded.bab -------------------------------------------------------------------------------- /examples/filter-list-2.bab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/examples/filter-list-2.bab -------------------------------------------------------------------------------- /examples/filter-list.bab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/examples/filter-list.bab -------------------------------------------------------------------------------- /examples/filter.bab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/examples/filter.bab -------------------------------------------------------------------------------- /examples/hello.bab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/examples/hello.bab -------------------------------------------------------------------------------- /examples/lib-lifting.bab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/examples/lib-lifting.bab -------------------------------------------------------------------------------- /examples/list-hello.bab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/examples/list-hello.bab -------------------------------------------------------------------------------- /examples/list-hof.bab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/examples/list-hof.bab -------------------------------------------------------------------------------- /examples/list-iterations.bab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/examples/list-iterations.bab -------------------------------------------------------------------------------- /examples/max-compose.bab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/examples/max-compose.bab -------------------------------------------------------------------------------- /examples/nested-functions.bab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/examples/nested-functions.bab -------------------------------------------------------------------------------- /examples/paper/kth_last.bab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/examples/paper/kth_last.bab -------------------------------------------------------------------------------- /examples/paper/kth_last_alt.bab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/examples/paper/kth_last_alt.bab -------------------------------------------------------------------------------- /examples/paper/map_inc.bab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/examples/paper/map_inc.bab -------------------------------------------------------------------------------- /examples/paper/polygons-orig.bab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/examples/paper/polygons-orig.bab -------------------------------------------------------------------------------- /examples/paper/polygons.bab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/examples/paper/polygons.bab -------------------------------------------------------------------------------- /examples/paper/polygons.rewrites: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/examples/paper/polygons.rewrites -------------------------------------------------------------------------------- /examples/paper/take_n.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/examples/paper/take_n.json -------------------------------------------------------------------------------- /examples/psych/base.bab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/examples/psych/base.bab -------------------------------------------------------------------------------- /examples/psych/dsr.bab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/examples/psych/dsr.bab -------------------------------------------------------------------------------- /examples/psych/subterm.bab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/examples/psych/subterm.bab -------------------------------------------------------------------------------- /examples/smiley_demo.bab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/examples/smiley_demo.bab -------------------------------------------------------------------------------- /examples/test.bab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/examples/test.bab -------------------------------------------------------------------------------- /examples/test_binder.bab: -------------------------------------------------------------------------------- 1 | (rotate 5 (move 2 4 (scale 3 (triangle)))) -------------------------------------------------------------------------------- /harness/Pipfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/Pipfile -------------------------------------------------------------------------------- /harness/Pipfile.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/Pipfile.lock -------------------------------------------------------------------------------- /harness/data/benchmark-dsrs/drawings.dials.rewrites: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/data/benchmark-dsrs/drawings.dials.rewrites -------------------------------------------------------------------------------- /harness/data/benchmark-dsrs/drawings.furniture.rewrites: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/data/benchmark-dsrs/drawings.furniture.rewrites -------------------------------------------------------------------------------- /harness/data/benchmark-dsrs/drawings.nuts-bolts.rewrites: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/data/benchmark-dsrs/drawings.nuts-bolts.rewrites -------------------------------------------------------------------------------- /harness/data/benchmark-dsrs/drawings.wheels.rewrites: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/data/benchmark-dsrs/drawings.wheels.rewrites -------------------------------------------------------------------------------- /harness/data/benchmark-dsrs/list.rewrites: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/data/benchmark-dsrs/list.rewrites -------------------------------------------------------------------------------- /harness/data/benchmark-dsrs/physics.rewrites: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/data/benchmark-dsrs/physics.rewrites -------------------------------------------------------------------------------- /harness/data/cogsci/bridge.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/data/cogsci/bridge.json -------------------------------------------------------------------------------- /harness/data/cogsci/castle.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/data/cogsci/castle.json -------------------------------------------------------------------------------- /harness/data/cogsci/city.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/data/cogsci/city.json -------------------------------------------------------------------------------- /harness/data/cogsci/dials-cleaned.bab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/data/cogsci/dials-cleaned.bab -------------------------------------------------------------------------------- /harness/data/cogsci/dials.bab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/data/cogsci/dials.bab -------------------------------------------------------------------------------- /harness/data/cogsci/dials.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/data/cogsci/dials.json -------------------------------------------------------------------------------- /harness/data/cogsci/furniture-cleaned.bab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/data/cogsci/furniture-cleaned.bab -------------------------------------------------------------------------------- /harness/data/cogsci/furniture.bab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/data/cogsci/furniture.bab -------------------------------------------------------------------------------- /harness/data/cogsci/furniture.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/data/cogsci/furniture.json -------------------------------------------------------------------------------- /harness/data/cogsci/house.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/data/cogsci/house.json -------------------------------------------------------------------------------- /harness/data/cogsci/nuts-bolts-cleaned.bab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/data/cogsci/nuts-bolts-cleaned.bab -------------------------------------------------------------------------------- /harness/data/cogsci/nuts-bolts.bab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/data/cogsci/nuts-bolts.bab -------------------------------------------------------------------------------- /harness/data/cogsci/nuts-bolts.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/data/cogsci/nuts-bolts.json -------------------------------------------------------------------------------- /harness/data/cogsci/wheels-cleaned.bab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/data/cogsci/wheels-cleaned.bab -------------------------------------------------------------------------------- /harness/data/cogsci/wheels.bab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/data/cogsci/wheels.bab -------------------------------------------------------------------------------- /harness/data/cogsci/wheels.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/data/cogsci/wheels.json -------------------------------------------------------------------------------- /harness/data/testing-benchmarks/list_list_hard_test_ellisk_2019-02-15T11.43.28/bench001_it1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/data/testing-benchmarks/list_list_hard_test_ellisk_2019-02-15T11.43.28/bench001_it1.json -------------------------------------------------------------------------------- /harness/data/testing-benchmarks/uninterpreted_counterexamples/expensive-argument.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/data/testing-benchmarks/uninterpreted_counterexamples/expensive-argument.json -------------------------------------------------------------------------------- /harness/data/testing-benchmarks/uninterpreted_counterexamples/linear-pattern.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/data/testing-benchmarks/uninterpreted_counterexamples/linear-pattern.json -------------------------------------------------------------------------------- /harness/data/testing-benchmarks/uninterpreted_counterexamples/pairwise-au-lattice.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/data/testing-benchmarks/uninterpreted_counterexamples/pairwise-au-lattice.json -------------------------------------------------------------------------------- /harness/data_gen/dc_res.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/data_gen/dc_res.csv -------------------------------------------------------------------------------- /harness/data_gen/list-beam-400-lps-1-rounds-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/data_gen/list-beam-400-lps-1-rounds-20.csv -------------------------------------------------------------------------------- /harness/data_gen/physics-beam-400-lps-1-rounds-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/data_gen/physics-beam-400-lps-1-rounds-20.csv -------------------------------------------------------------------------------- /harness/data_gen/res_compression.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/data_gen/res_compression.csv -------------------------------------------------------------------------------- /harness/data_gen/res_drawing.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/data_gen/res_drawing.csv -------------------------------------------------------------------------------- /harness/data_gen/sweep_drawing_2022-06-29T10:42:01.522504.csv: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /harness/data_gen/sweep_drawing_2022-06-29T10:42:51.116658.csv: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /harness/data_gen/sweep_drawing_2022-06-29T10:43:38.046671.csv: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /harness/data_gen/sweep_drawing_2022-06-29T10:45:38.687584.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/data_gen/sweep_drawing_2022-06-29T10:45:38.687584.csv -------------------------------------------------------------------------------- /harness/main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/main.py -------------------------------------------------------------------------------- /harness/scripts/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /harness/scripts/cleanup-cogsci.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/scripts/cleanup-cogsci.py -------------------------------------------------------------------------------- /harness/scripts/cogsci-table.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/scripts/cogsci-table.py -------------------------------------------------------------------------------- /harness/scripts/generalization.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/scripts/generalization.py -------------------------------------------------------------------------------- /harness/scripts/param_sweep.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/scripts/param_sweep.py -------------------------------------------------------------------------------- /harness/scripts/plot-compression.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/scripts/plot-compression.py -------------------------------------------------------------------------------- /harness/scripts/plot-costs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/scripts/plot-costs.py -------------------------------------------------------------------------------- /harness/scripts/plot-dsr-impact.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/scripts/plot-dsr-impact.py -------------------------------------------------------------------------------- /harness/scripts/plot.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/harness/scripts/plot.py -------------------------------------------------------------------------------- /src/ast_node.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/ast_node.rs -------------------------------------------------------------------------------- /src/ast_node/expr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/ast_node/expr.rs -------------------------------------------------------------------------------- /src/ast_node/partial_expr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/ast_node/partial_expr.rs -------------------------------------------------------------------------------- /src/ast_node/pretty.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/ast_node/pretty.rs -------------------------------------------------------------------------------- /src/bin/benchmark/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/bin/benchmark/main.rs -------------------------------------------------------------------------------- /src/bin/compression/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/bin/compression/main.rs -------------------------------------------------------------------------------- /src/bin/drawings/eval.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/bin/drawings/eval.rs -------------------------------------------------------------------------------- /src/bin/drawings/lang.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/bin/drawings/lang.rs -------------------------------------------------------------------------------- /src/bin/drawings/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/bin/drawings/main.rs -------------------------------------------------------------------------------- /src/bin/drawings/svg.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/bin/drawings/svg.rs -------------------------------------------------------------------------------- /src/bin/list/lang.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/bin/list/lang.rs -------------------------------------------------------------------------------- /src/bin/list/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/bin/list/main.rs -------------------------------------------------------------------------------- /src/bin/parse_dc/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/bin/parse_dc/main.rs -------------------------------------------------------------------------------- /src/bin/print_benchmarks/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/bin/print_benchmarks/main.rs -------------------------------------------------------------------------------- /src/bin/smiley/eval.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/bin/smiley/eval.rs -------------------------------------------------------------------------------- /src/bin/smiley/lang.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/bin/smiley/lang.rs -------------------------------------------------------------------------------- /src/bin/smiley/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/bin/smiley/main.rs -------------------------------------------------------------------------------- /src/bin/smiley/svg.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/bin/smiley/svg.rs -------------------------------------------------------------------------------- /src/co_occurrence.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/co_occurrence.rs -------------------------------------------------------------------------------- /src/dfta.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/dfta.rs -------------------------------------------------------------------------------- /src/dreamcoder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/dreamcoder.rs -------------------------------------------------------------------------------- /src/dreamcoder/expr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/dreamcoder/expr.rs -------------------------------------------------------------------------------- /src/dreamcoder/json.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/dreamcoder/json.rs -------------------------------------------------------------------------------- /src/dreamcoder/parse.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/dreamcoder/parse.rs -------------------------------------------------------------------------------- /src/dreamcoder/types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/dreamcoder/types.rs -------------------------------------------------------------------------------- /src/dreamcoder/util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/dreamcoder/util.rs -------------------------------------------------------------------------------- /src/experiments.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/experiments.rs -------------------------------------------------------------------------------- /src/experiments/beam_experiment.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/experiments/beam_experiment.rs -------------------------------------------------------------------------------- /src/experiments/cache.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/experiments/cache.rs -------------------------------------------------------------------------------- /src/experiments/eqsat_experiment.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/experiments/eqsat_experiment.rs -------------------------------------------------------------------------------- /src/extract/beam.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/extract/beam.rs -------------------------------------------------------------------------------- /src/extract/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/extract/mod.rs -------------------------------------------------------------------------------- /src/learn.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/learn.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/rewrites.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/rewrites.rs -------------------------------------------------------------------------------- /src/sexp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/sexp.rs -------------------------------------------------------------------------------- /src/simple_lang.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/simple_lang.rs -------------------------------------------------------------------------------- /src/teachable.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/teachable.rs -------------------------------------------------------------------------------- /src/util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dcao/babble/HEAD/src/util.rs --------------------------------------------------------------------------------