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