#

inductive-program-synthesis

Here are 3 public repositories matching this topic...

umich-dbgroup / foofah

Foofah: programming-by-example data transformation program synthesizer

data-transformation data-wrangling data-preparation data-cleaning combinatorial-search programming-by-example inductive-program-synthesis heursitic

Updated Apr 23, 2018
CSS

Joshua27 / ProBramSynthesis

Program Synthesis for B in ProB

program-synthesis programming-by-example b-method inductive-program-synthesis

Updated Jan 14, 2022
Java

Seagat2011 / SHAUGHNESSY

A general purpose declarative programming language

algorithms languages declarative-language frameworks declarative-programming programming-by-example inductive-program-synthesis domain-specific-languages deductive-inference search-based-synthesis shaughnessy

Updated Aug 11, 2019

Add this topic to your repo

To associate your repository with the inductive-program-synthesis topic, visit your repo's landing page and select "manage topics."