ajhager / copycat
A translation of Melanie Mitchell's original Copycat project from Lisp to Python.
☆43Updated 7 years ago
Alternatives and similar repositories for copycat:
Users that are interested in copycat are comparing it to the libraries listed below
- Python framework for writing programs to solve complex problems not amenable to brute force. The architecture is a descendant of Douglas …☆32Updated last year
- co.py.cat extends Hofstadter's, pythonically☆57Updated 6 months ago
- ☆113Updated last year
- Differentiable Forth Interpreter☆68Updated 6 years ago
- A Sparse Distributed Memory Framework.☆44Updated 5 years ago
- Implementation of Sparse Distributed Memory created by Pentti Kanerva in 1988.☆48Updated 6 years ago
- Modern port of Melanie Mitchell's and Douglas Hofstadter's Copycat☆118Updated 4 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆92Updated 6 years ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆56Updated 16 years ago
- Conditional Associative Logic Memory☆27Updated 7 years ago
- Primary implementation of the Venture probabilistic programming system☆28Updated 5 years ago
- A revival of Terry Winograd's famous SHRDLU program, adapted to use on the web.☆28Updated 9 years ago
- A rule engine based on Attempto Controlled English☆18Updated 2 months ago
- A Church to Javascript compiler (DEPRECATED)☆140Updated 6 years ago
- Dyna2 compiler and REPL☆147Updated 4 years ago
- ☆13Updated 7 years ago
- Running the code you want to write as fast as the code you have to write☆140Updated 8 years ago
- Sequitur and RePair grammar induction algorithms implementation☆24Updated last year
- Algorithmic Intelligence Quotient☆39Updated 3 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆116Updated 2 months ago
- Turning Javascript into a probabilistic programming language☆58Updated 7 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated 7 months ago
- Forward and Reverse Mode Automatic Differentiation (AD) in R6RS Scheme plus extensions to support nondeterministic and stochastic program…☆39Updated 8 years ago
- The best Prolog visualizer☆84Updated 2 years ago
- Metamath verifier in Python☆36Updated 9 months ago
- Adaptive Neuro-Symbolic Network Agent☆36Updated 2 years ago
- My MSc thesis: a grammar induction system☆15Updated 8 years ago
- A simple Prolog API for the Z3 constraint solver☆14Updated 6 years ago
- ☆42Updated 7 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆70Updated 2 months ago