Similar repositories to andrewcropper/ilp18-dreduce:

• andrewcropper/ilp18-dreduce github similar
• andrewcropper/ijcai16-metagolai github similar
• babb517/F2LP github similar
• SWI-Prolog/packages-clib github similar
• fnogatz/tap github similar
• andrewcropper/mlj18-metaopt github similar
• swi-to-yap/swicli github similar
• fifth-postulate/julian github similar
• triska/ediprolog github similar
• SWI-Prolog/swipl-wasm github similar
• webyrd/miniKanren-uncourse github similar
• AndrewSmart/opencyc github similar
• friguzzi/cplint github similar
• trealla-prolog/go github similar
• evoldoers/biomake github similar
• metagol/metagol github similar
• kovvalsky/LangPro github similar
• gooofy/zamia-ai github similar
• motools/musicontology github similar
• asanchez75/opencyc github similar
• Attempto/APE github similar
• ciao-lang/ciao github similar
• SWI-Prolog/swipl github similar
• chrisamaphone/interactive-lp github similar
• SWI-Prolog/swish github similar
• hakank/hakank github similar
• opennars/opennars github similar
• LogtalkDotOrg/logtalk3 github similar
• yuce/pyswip github similar
• SWI-Prolog/swipl-devel github similar
• larsyencken/marelle github similar
• klaussinani/awesome-prolog github similar
• tau-prolog/tau-prolog github similar
• Anniepoo/prolog-examples github similar
• webyrd/Barliman github similar
• triska/the-power-of-prolog github similar
• HoTT/HoTT github similar
• clojure/core.logic github similar
• mthom/scryer-prolog github similar
• FStarLang/FStar github similar