GitHub topics: inductive-program-synthesis
Joshua27/ProBramSynthesis
Program Synthesis for B in ProB
Language: Java - Size: 62.5 KB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0
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: about 7 years ago - Stars: 25 - Forks: 10
kiridi/inductive-haskell
Inductive Haskell
Language: Haskell - Size: 1.34 MB - Last synced at: 3 months ago - Pushed at: about 5 years ago - Stars: 3 - Forks: 0
Seagat2011/SHAUGHNESSY
A general purpose declarative programming language
Size: 53.7 KB - Last synced at: 3 months ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
