Alternatives and similar repositories for copycat:

Users that are interested in copycat are comparing it to the libraries listed below

• jalanb / co.py.cat
  co.py.cat extends Hofstadter's, pythonically
  ☆58Updated 10 months ago
• amahabal / PySeqsee
  Python framework for writing programs to solve complex problems not amenable to brute force. The architecture is a descendant of Douglas …
  ☆32Updated last year
• axch / dysvunctional-language
  Running the code you want to write as fast as the code you have to write
  ☆140Updated 8 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• qobi / R6RS-AD
  Forward and Reverse Mode Automatic Differentiation (AD) in R6RS Scheme plus extensions to support nondeterministic and stochastic program…
  ☆39Updated 9 years ago
• probmods / webchurch
  A Church to Javascript compiler (DEPRECATED)
  ☆140Updated 6 years ago
• uclnlp / d4
  Differentiable Forth Interpreter
  ☆71Updated 7 years ago
• fargonauts / copycat
  Modern port of Melanie Mitchell's and Douglas Hofstadter's Copycat
  ☆121Updated 2 weeks ago
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆73Updated last month
• Alex-Linhares / FARGonautica
  ☆116Updated 2 weeks ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆117Updated 3 weeks ago
• ntoronto / drbayes
  Dr. Bayes
  ☆84Updated 8 years ago
• sfahlman / scone
  ☆80Updated last year
• stefano-bragaglia / XHAIL
  System for eXtended Hybrid Abductive Inductive Learning
  ☆25Updated 3 years ago
• Pascal-J / type-system-j
  adds an optional type system to J language
  ☆21Updated 9 years ago
• tsgouros / www-shrdlu
  A revival of Terry Winograd's famous SHRDLU program, adapted to use on the web.
  ☆31Updated 10 years ago
• coolvision / bongard-problems-cnn
  ☆13Updated 7 years ago
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 5 years ago
• namin / leanTAP
  A Declarative Theorem Prover for First-Order Classical Logic
  ☆28Updated 10 months ago
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆47Updated last year
• bozsahin / ccglab
  Combinatory Categorial Grammar (CCG): Full set CCG, and probabilistic CCG
  ☆28Updated last year
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• nwf / dyna
  Dyna2 compiler and REPL
  ☆146Updated 4 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆75Updated 7 years ago
• stassa / THELEMA
  My MSc thesis: a grammar induction system
  ☆16Updated 9 years ago
• eriktmueller / daydreamer
  DAYDREAMER goal-based agent
  ☆75Updated 3 years ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• gooofy / zamia-prolog
  Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.
  ☆20Updated 7 years ago
• sdiehl / haskell-picosat
  Haskell bindings for PicoSAT solver
  ☆17Updated 5 years ago