ajhager / copycatLinks
A translation of Melanie Mitchell's original Copycat project from Lisp to Python.
☆44Updated 8 years ago
Alternatives and similar repositories for copycat
Users that are interested in copycat are comparing it to the libraries listed below
Sorting:
- co.py.cat extends Hofstadter's, pythonically☆60Updated last year
- A Church to Javascript compiler (DEPRECATED)☆141Updated 7 years ago
- Python framework for writing programs to solve complex problems not amenable to brute force. The architecture is a descendant of Douglas …☆32Updated 2 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆80Updated 3 months ago
- A Sparse Distributed Memory Framework.☆46Updated 6 years ago
- ☆119Updated 6 months ago
- Differentiable Forth Interpreter☆73Updated 7 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆120Updated last month
- Running the code you want to write as fast as the code you have to write☆140Updated 9 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated last year
- Forward and Reverse Mode Automatic Differentiation (AD) in R6RS Scheme plus extensions to support nondeterministic and stochastic program…☆39Updated 9 years ago
- Probabilistic miniKanren☆67Updated 10 years ago
- Implementation of Sparse Distributed Memory created by Pentti Kanerva in 1988.☆48Updated 7 years ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆58Updated 17 years ago
- The online textbook Probabilistic Models of Cognition☆169Updated 8 years ago
- ThoughtTreasure commonsense knowledge base and architecture for natural language processing☆79Updated 10 years ago
- A new logic programming language.☆175Updated 2 years ago
- Modern port of Melanie Mitchell's and Douglas Hofstadter's Copycat☆121Updated 7 months ago
- Art of Prolog Code☆36Updated 6 years ago
- Dr. Bayes☆84Updated 9 years ago
- Lojban ologs (categorical databases) using jq☆24Updated 7 years ago
- DAYDREAMER goal-based agent☆78Updated 3 years ago
- Metagol - an inductive logic programming system☆206Updated 4 years ago
- The Design and Implementation of Probabilistic Programming Languages☆180Updated last year
- Dyna2 compiler and REPL☆147Updated 5 years ago
- A collection of Prolog libraries.☆88Updated last year
- YAP Development release☆17Updated 4 years ago
- Probabilistic Programming☆43Updated 2 months ago
- My MSc thesis: a grammar induction system☆16Updated 9 years ago