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☆59Updated 11 months ago
- Python framework for writing programs to solve complex problems not amenable to brute force. The architecture is a descendant of Douglas …☆32Updated last year
- A Church to Javascript compiler (DEPRECATED)☆140Updated 7 years ago
- ☆116Updated 3 weeks ago
- Differentiable Forth Interpreter☆72Updated 7 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- The online textbook Probabilistic Models of Cognition☆167Updated 7 years ago
- Modern port of Melanie Mitchell's and Douglas Hofstadter's Copycat☆121Updated 2 months ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆57Updated 16 years ago
- constructivist AI language and runtime☆35Updated 3 years ago
- Adaptive Neuro-Symbolic Network Agent☆38Updated 3 years ago
- A Sparse Distributed Memory Framework.☆44Updated 5 years ago
- Running the code you want to write as fast as the code you have to write☆140Updated 8 years ago
- A rule engine based on Attempto Controlled English☆18Updated 7 months ago
- ☆81Updated last year
- The Design and Implementation of Probabilistic Programming Languages☆178Updated last year
- A simple Prolog API for the Z3 constraint solver☆15Updated 7 years ago
- Classical CHAT80 NLP system for Prolog☆22Updated 3 months ago
- Hierarchical Temporal Sparse Learner☆13Updated 9 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆116Updated 2 weeks ago
- DAYDREAMER goal-based agent☆77Updated 3 years ago
- A revival of Terry Winograd's famous SHRDLU program, adapted to use on the web.☆33Updated 10 years ago
- Metagol - an inductive logic programming system☆202Updated 3 years ago
- probabilistic programming for PL folks☆157Updated 3 years ago
- Implementation of Sparse Distributed Memory created by Pentti Kanerva in 1988.☆48Updated 7 years ago
- Forward and Reverse Mode Automatic Differentiation (AD) in R6RS Scheme plus extensions to support nondeterministic and stochastic program…☆39Updated 9 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated last year
- Turning Javascript into a probabilistic programming language☆58Updated 8 years ago
- ☆13Updated 7 years ago
- My MSc thesis: a grammar induction system☆16Updated 9 years ago