Similar repositories to JeanChristopheRohner/theory-toolbox:

• JeanChristopheRohner/theory-toolbox github similar
• JeanChristopheRohner/theory-toolbox-2 github similar
• sfkleach/GOSPL github similar
• RobertSasak/Prolog-Planning-Library github similar
• mingodad/picat github similar
• JanWielemaker/sCASP github similar
• hebisch/poplog github similar
• kyledewey/typed-prolog github similar
• iensen/sparc github similar
• arthwang/vsc-picat github similar
• poplog/poplog github similar
• fifth-postulate/julian github similar
• raydac/jprol github similar
• friguzzi/aleph github similar
• claudiosa/CCS github similar
• friguzzi/cplint github similar
• stassa/louise github similar
• AceWiki/AceWiki github similar
• logic-and-learning-lab/Popper github similar
• evoldoers/biomake github similar
• adimit/prolog.vim github similar
• AmziLS/AmziProlog github similar
• ggp-org/ggp-base github similar
• trealla-prolog/trealla github similar
• triska/clpz github similar
• Attempto/APE github similar
• metagol/metagol github similar
• dragonwasrobot/learn-prolog-now-exercises github similar
• SWI-Prolog/swish github similar
• larsyencken/marelle github similar
• klaussinani/awesome-prolog github similar
• mthom/scryer-prolog github similar
• SWI-Prolog/swipl-devel github similar
• Mercury-Language/mercury github similar
• webyrd/Barliman github similar
• triska/the-power-of-prolog github similar
• clojure/core.logic github similar
• openworm/OpenWorm github similar
• fchollet/ARC github similar
• racer-rust/racer github similar