inductive-program-synthesis

There are 0 repository under inductive-program-synthesis topic.

• umich-dbgroup / foofah

  Foofah: programming-by-example data transformation program synthesizer

  data-transformationdata-wranglinginductive-program-synthesisprogramming-by-examplecombinatorial-searchheursiticdata-preparationdata-cleaning
  Language:CSS 26

• kiridi / inductive-haskell

  Inductive Haskell

  haskellinductive-program-synthesisprogram-synthesisinductive-learning
  Language:Haskell 3

• Joshua27 / ProBramSynthesis

  Program Synthesis for B in ProB

  program-synthesisb-methodinductive-program-synthesisprogramming-by-example
  Language:Java 2

• Seagat2011 / SHAUGHNESSY

  A general purpose declarative programming language

  declarative-programmingdeclarative-languagealgorithmslanguagesinductive-program-synthesisprogramming-by-exampleframeworksdomain-specific-languagesdeductive-inferencesearch-based-synthesisshaughnessy