Scheme Synthesis in Scheme

eval.scm: evaluator
bottomup.scm: bottom-up synthesizer
dan.scm: synthesizer for recursive functions in the style taught by Dan Friedman
topdown.scm: a top-down synthesizer based on scoring partial programs using Monte Carlo Tree Search (MCTS)
topdown-without-mcts.scm: the delta of a top-down synthesizer that does not use MCTS but A*
mcmc.scm: a stand-alone experiment with Monte Carlo Markov Chain (MCMC) synthesis

Name		Name	Last commit message	Last commit date
Latest commit History 89 Commits
Barliman @ 40313b0		Barliman @ 40313b0
.gitignore		.gitignore
.gitmodules		.gitmodules
CREDITS.md		CREDITS.md
LICENSE		LICENSE
README.md		README.md
all.scm		all.scm
barliman-tests.scm		barliman-tests.scm
barliman.scm		barliman.scm
bottomup-tests.scm		bottomup-tests.scm
bottomup.scm		bottomup.scm
dan-tests.scm		dan-tests.scm
dan.scm		dan.scm
eval-tests.scm		eval-tests.scm
eval.scm		eval.scm
helpers.scm		helpers.scm
load.scm		load.scm
mcmc.scm		mcmc.scm
monitor.scm		monitor.scm
montecarlo-tests.scm		montecarlo-tests.scm
montecarlo.scm		montecarlo.scm
run-all.sh		run-all.sh
template-tests.scm		template-tests.scm
template.scm		template.scm
test-check.scm		test-check.scm
tests.scm		tests.scm
threads-tests.scm		threads-tests.scm
threads.scm		threads.scm
topdown-bench-tests.scm		topdown-bench-tests.scm
topdown-bench.scm		topdown-bench.scm
topdown-tests.scm		topdown-tests.scm
topdown-without-mcts-tests.scm		topdown-without-mcts-tests.scm
topdown-without-mcts.scm		topdown-without-mcts.scm
topdown.scm		topdown.scm

Provide feedback