Karel dataset for program synthesis and program induction - View it on GitHub