Similar repositories to tchap/prolog-tableaux:

• tchap/prolog-tableaux github similar
• danistefanovic/build-your-own-x github similar
• JanWielemaker/chat80 github similar
• Mortimerp9/Prolog-Graphplan github similar
• uclnlp/gntp github similar
• ProgrammingRust/fingertips github similar
• SWI-Prolog/swipl-wasm github similar
• vangelisv/thea github similar
• jsikyoon/pathnet github similar
• twiglet/cs2j github similar
• Attempto/APE github similar
• nasa/europa github similar
• OpenCCG/openccg github similar
• Gecode/gecode github similar
• LogtalkDotOrg/logtalk3 github similar
• jarble/transpiler github similar
• dlwh/epic github similar
• llSourcell/capsule_networks github similar
• SWI-Prolog/swipl-devel github similar
• jeffheaton/encog-java-core github similar
• percyliang/sempre github similar
• stanfordnlp/treelstm github similar
• POV-Ray/povray github similar
• ivan-vasilev/neuralnetworks github similar
• kfrlib/kfr github similar
• tinkerpop/blueprints github similar
• facebookresearch/end-to-end-negotiator github similar
• aimacode/aima-java github similar
• rust-lang/chalk github similar
• HIPS/Spearmint github similar
• mthom/scryer-prolog github similar
• bioinf-jku/SNNs github similar
• evanw/csg.js github similar
• probcomp/Gen.jl github similar
• leanprover/lean4 github similar
• OryxProject/oryx github similar
• clever-algorithms/CleverAlgorithms github similar
• jgrapht/jgrapht github similar
• opencog/opencog github similar
• h2oai/h2o-2 github similar