The Abstraction and Reasoning Corpus
-
Updated
May 27, 2020 - JavaScript
#
program-synthesis
Here are 57 public repositories matching this topic...
Using artificial intelligence and genetic algorithms to automatically write programs. Tutorial: http://www.primaryobjects.com/cms/article149
c-sharp
programming-language
ai
genome
genetic-algorithm
program-synthesis
artificial-intelligence
genetic-programming
genetic-algorithms
fitness-score
-
Updated
Oct 1, 2018 - C#
Performs string manipulation tasks by learning from the provided example(s), instead of having to program them out explicitly.
-
Updated
May 13, 2020 - Roff
Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic generation of programs from input-output examples. This repo includes samples and sample data for the Microsoft Program Synthesis using Example SDK.
microsoft
sdk
csharp
dotnet
examples
prose
data-transformation
program-synthesis
synthesis
data-wrangling
-
Updated
May 15, 2020 - C#
discover elisp functions that do what you want
-
Updated
Sep 16, 2018 - Emacs Lisp
Neural Symbolic Machines is a framework to integrate neural networks and symbolic representations using reinforcement learning, with applications in program synthesis and semantic parsing.
reinforcement-learning
deep-learning
tensorflow
deep-reinforcement-learning
program-synthesis
rnn
semantic-parsing
-
Updated
Jan 28, 2020 - Python
Open
Hard timeout abort
5
izgzhen
commented
Oct 15, 2019
Currently, Cozy will hang at the following state for a long time:
$ time cozy examples/select-flatmap.ds -t 10
Checking call legality...
Checking invariant preservation...
Done!
Adding query q...
STARTING IMPROVEMENT JOB q
updating with 1 new solutions
update order:
--> q
considering update 1/1...
SOLUTION FOR q AT 0:00:00.037117 [size=74]
-------------------------------------
Metagol - an inductive logic programming system
-
Updated
Nov 27, 2019 - Prolog
Program Synthesis
-
Updated
Oct 4, 2018 - Jupyter Notebook
An AIMGP (Automatic Induction of Machine code by Genetic Programming) engine
-
Updated
Dec 4, 2018 - Ruby
Re-implement DeepCoder (https://openreview.net/pdf?id=ByldLrqlx)
-
Updated
Sep 1, 2019 - Python
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
-
Updated
Jan 28, 2020 - Python
Programmatic modification and evaluation of software
-
Updated
May 27, 2020 - Common Lisp
λ² is a tool for synthesizing functional programs from input-output examples.
-
Updated
Jan 21, 2020 - OCaml
ilyasergey
commented
May 8, 2019
At the moment, synthesis can take "hints" about auxiliary functions, which can be used for synthesing the main one. For instance, this is a specification for tree flattening that takes an auxiliary function:
{ lseg(x1, s1) ** lseg(x2, s2) ** ret :-> x2 }
void lseg_append (loc x1, loc ret)
{ s =i s1 ++ s2 ; lseg(y, s) ** ret :-> y }
{ z :-> x ** tree(x, s) }
void flatten(loc z)
{ z :
An curated list of papers on program synthesis.
-
Updated
Aug 11, 2019
A Framework for Model-Backed Generators. Backend for AutoPandas (https://autopandas.io)
-
Updated
May 11, 2020 - Python
Source Code Generation Based On User Intention Using LSTM Networks
natural-language-processing
deep-learning
program-synthesis
code-generation
encoder-decoder-model
long-short-term-memory
automatic-programming
sequential-models
-
Updated
Jan 6, 2018 - Python
Deductive synthesis and compilation of specialized databases.
-
Updated
Apr 24, 2020 - SQLPL
Learning programs with the Exploration-Compression algorithm
-
Updated
May 17, 2018 - OCaml
PyTorch library for synthesizing programs from natural language
deep-learning
program-synthesis
pytorch
deeplearning
natural-language-understanding
deep-neural-network
treegen
nl2code
-
Updated
May 24, 2020 - Python
Recursive Program Synthesis using input-output examples
-
Updated
May 25, 2017 - Scala
A public repository for "Write, Execute, Assess: Program Synthesis With a REPL" project by Kevin Ellis, Max Nye, Yewen Pu, Felix Sosa, Josh Tenenbaum, and Armando Solar-Lezama. Presented at NeurIPS 2019.
search
repl
program-synthesis
cad
text-editing
program-induction
3d-cad
constructive-solid-geometry
2d-cad
-
Updated
May 21, 2020 - Python
Evoasm backend library
-
Updated
Jun 10, 2017 - C
Tortoise: Interactive System Configuration Repair
-
Updated
Sep 26, 2017 - Scala
Program synthesis for heterogeneous accelerators.
-
Updated
Apr 1, 2020 - C++
A library helping you transform strings by providing examples instead of coding (PBE)
-
Updated
Feb 29, 2020 - Java
Improve this page
Add a description, image, and links to the program-synthesis topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the program-synthesis topic, visit your repo's landing page and select "manage topics."
The tutorial http://ravichugh.github.io/sketch-n-sketch/tutorial/01.html describes v0.6.1. The current version v0.6.3 has a significantly different UI.
In general, it is possible to at least figure out where the described functionality now resides. However, there is no description for the new functionality, such as the new prominently located "Clean up" control.