Top 13 program-synthesis open source projects

The Abstraction and Reasoning Corpus

A Python framework for program synthesis with a focus on Automated Machine Learning.

APPS: Automated Programming Progress Standard (NeurIPS 2021)

An curated list of papers on program synthesis.

λ² is a tool for synthesizing functional programs from input-output examples.

Synthesis of Heap-Manipulating Programs from Separation Logic

PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. We provide scripts for downloading, processing, and loading the datasets. This is done by offering a unified API and data structures for all datasets.

Popper is an inductive logic programming (ILP) system.

Generative Art Synthesizer - a python program that generates python programs that generates generative art

Code for Neural Inverse Knitting: From Images to Manufacturing Instructions

A Dataset of Python Challenges for AI Research

Deepcoder paper implementation

Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch