Topic: "inductive-program-synthesis"
umich-dbgroup/foofah
Foofah: programming-by-example data transformation program synthesizer
Language: CSS - Size: 4.31 MB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 25 - Forks: 10
kiridi/inductive-haskell
Inductive Haskell
Language: Haskell - Size: 1.34 MB - Last synced at: 8 months ago - Pushed at: over 5 years ago - Stars: 3 - Forks: 0
Joshua27/ProBramSynthesis
Program Synthesis for B in ProB
Language: Java - Size: 62.5 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 0
Seagat2011/SHAUGHNESSY
A general purpose declarative programming language
Size: 53.7 KB - Last synced at: 8 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
