program-synthesis topic
sketch-n-sketch
Direct Manipulation Programming for HTML/SVG
suggest.el
discover elisp functions that do what you want
cozy
The collection synthesizer
metagol
Metagol - an inductive logic programming system
autogoal
A Python framework for program synthesis with a focus on Automated Machine Learning.
program_synthesis
Program Synthesis
plur
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...
hoogle_plus
Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
evoasm.rb
An AIMGP (Automatic Induction of Machine code by Genetic Programming) engine
rbsyn
Program synthesis for Ruby