Projects in Awesome Lists tagged with inductive-program-synthesis
A curated list of projects in awesome lists tagged with inductive-program-synthesis .
https://github.com/kiridi/inductive-haskell
Inductive Haskell
haskell inductive-learning inductive-program-synthesis program-synthesis
Last synced: 24 Mar 2025
https://github.com/seagat2011/shaughnessy
A general purpose declarative programming language
algorithms declarative-language declarative-programming deductive-inference domain-specific-languages frameworks inductive-program-synthesis languages programming-by-example search-based-synthesis shaughnessy
Last synced: 26 Mar 2025
