program-synthesis topic
deep-coder
Re-implement DeepCoder (https://openreview.net/pdf?id=ByldLrqlx)
demo2program
An official TensorFlow implementation of "Neural Program Synthesis from Diverse Demonstration Videos" (ICML 2018) by Shao-Hua Sun, Hyeonwoo Noh, Sriram Somasundaram, and Joseph J. Lim
deepcoder
Deepcoder paper implementation
Popper
An inductive logic programming system
L2
λ² is a tool for synthesizing functional programs from input-output examples.
awesome-program-synthesis
An curated list of papers on program synthesis.
ARC-Game
The Abstraction and Reasoning Corpus made into a web game
accsynt
Program synthesis tools and utilities for LLVM.
mgn
Multimodal Graph Network (MGN): Code repo, examples from the paper
mlprogram
PyTorch library for synthesizing programs from natural language