#

inductive-program-synthesis

Here are 4 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

kiridi / inductive-haskell

Inductive Haskell

haskell program-synthesis inductive-learning inductive-program-synthesis

Updated Apr 29, 2020
Haskell

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

Improve this page

Add a description, image, and links to the inductive-program-synthesis topic page so that developers can more easily learn about it.

Curate this topic

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."