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
- A Sparse Distributed Memory Framework.☆46Updated 6 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
- cplint is a suite of programs for reasoning with probabilistic logic programs☆80Updated 2 months ago
- Differentiable Forth Interpreter☆73Updated 7 years ago
- ☆119Updated 6 months ago
- Implementation of Sparse Distributed Memory created by Pentti Kanerva in 1988.☆48Updated 7 years ago
- Running the code you want to write as fast as the code you have to write☆140Updated 9 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆120Updated 3 weeks ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆77Updated 7 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- The online textbook Probabilistic Models of Cognition☆169Updated 8 years ago
- Dr. Bayes☆84Updated 9 years ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆58Updated 16 years ago
- Probabilistic miniKanren☆67Updated 10 years ago
- Modern port of Melanie Mitchell's and Douglas Hofstadter's Copycat☆121Updated 7 months ago
- Dyna2 compiler and REPL☆147Updated 5 years ago
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆11Updated 10 years ago
- Lojban ologs (categorical databases) using jq☆24Updated 7 years ago
- Evolutionary Algorithms Library☆64Updated 5 years ago
- The BLOG programming language☆100Updated 2 years ago
- probabilistic programming for PL folks☆159Updated 4 years ago
- ☆71Updated 4 years ago
- The Design and Implementation of Probabilistic Programming Languages☆180Updated last year
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated last year
- Metagol - an inductive logic programming system☆206Updated 4 years ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆86Updated 4 years ago
- A repository for generative models☆117Updated 5 months ago
- Forward and Reverse Mode Automatic Differentiation (AD) in R6RS Scheme plus extensions to support nondeterministic and stochastic program…☆39Updated 9 years ago