Similar repositories to arademaker/SALC:

• arademaker/SALC github similar
• SWI-Prolog/packages-table github similar
• SWI-Prolog/packages-real github similar
• arademaker/hemera github similar
• SWI-Prolog/packages-plunit github similar
• tgk/propaganda-a-declarative-programming-model-in-clojure github similar
• SWI-Prolog/packages-clpqr github similar
• protegeproject/sparql-dl-api github similar
• alashworth/sf-lean github similar
• cycorp/example-code github similar
• logicmoo/logicmoo_clif github similar
• joshsh/jig github similar
• agda/agda-web-semantic github similar
• SWI-Prolog/packages-chr github similar
• SWI-Prolog/packages-http github similar
• CategoricalData/HoTT-categories github similar
• alanruttenberg/lsw2 github similar
• SWI-Prolog/packages-semweb github similar
• gchrupala/morfette github similar
• RobertHarper/hott-notes github similar
• GaloisInc/lean4-balance-car github similar
• arademaker/SLattes github similar
• cycorp/api-suite github similar
• rigetti/oqaml github similar
• prova/prova github similar
• jtassarotti/coq-proba github similar
• mangpo/chlorophyll github similar
• vihart/hypernom github similar
• alanb2718/wallingford github similar
• leanprover/tc github similar
• AtomGraph/Processor github similar
• SWI-Prolog/pengines github similar
• sfahlman/scone github similar
• SMLFamily/The-Mechanization-of-Standard-ML github similar
• mtravers/wuwei github similar
• wouterbeek/prolog_library_collection github similar
• nikodemus/esrap github similar
• owlcollab/owltools github similar
• protegeproject/swrlapi github similar
• logic-and-learning-lab/Popper github similar