Similar repositories to RichardEvans/EL:

• RichardEvans/EL github similar
• narrative-ai/narrative-ai github similar
• javiermtorres/ttd_example github similar
• aindilis/cyc-mode github similar
• ronwalf/Planning github similar
• RichardEvans/cathoristic-logic github similar
• spacebeam/research github similar
• seereason/atp-haskell github similar
• storytron/swat github similar
• ianhorswill/UnityProlog github similar
• logicmoo/logicmoo_workspace github similar
• spechub/Hets github similar
• webyrd/miniKanren-uncourse github similar
• Shen-Language/wiki github similar
• webyrd/quines github similar
• EssexUniversityMCTS/gvgai github similar
• ontologyportal/sumo github similar
• OpenCCG/openccg github similar
• phillord/tawny-owl github similar
• chrisamaphone/interactive-lp github similar
• dragonwasrobot/learn-prolog-now-exercises github similar
• Shen-Language/shen-sources github similar
• rvirding/erlog github similar
• xixixao/Shem github similar
• the-little-prover/j-bob github similar
• rust-gamedev/arewegameyet github similar
• openlink/virtuoso-opensource github similar
• robert-strandh/SICL github similar
• HoTT/HoTT github similar
• aigamedev/scikit-neuralnetwork github similar
• clojure/core.logic github similar
• JeffBezanson/femtolisp github similar
• inkle/inky github similar
• lfe/lfe github similar
• clasp-developers/clasp github similar
• FStarLang/FStar github similar
• typelead/eta github similar
• idris-lang/Idris-dev github similar
• chjj/tty.js github similar
• java-native-access/jna github similar