Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: 02 Dec 2024
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: 05 Dec 2024
