msbrogli / sdm-frameworkLinks
A Sparse Distributed Memory Framework.
☆46Updated 6 years ago
Alternatives and similar repositories for sdm-framework
Users that are interested in sdm-framework are comparing it to the libraries listed below
Sorting:
- Implementation of Sparse Distributed Memory created by Pentti Kanerva in 1988.☆48Updated 7 years ago
- Adaptive Neuro-Symbolic Network Agent☆40Updated 3 years ago
- Differentiable Forth Interpreter☆73Updated 7 years ago
- A translation of Melanie Mitchell's original Copycat project from Lisp to Python.☆44Updated 8 years ago
- Numenta's experimental C++ research code. Please see htmresearch for more details.☆27Updated 6 years ago
- The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial…☆38Updated 10 years ago
- A Church to Javascript compiler (DEPRECATED)☆141Updated 7 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆79Updated 2 months ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 8 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
- ☆10Updated 9 years ago
- Probabilistic miniKanren☆67Updated 10 years ago
- Evolutionary Algorithms Library☆64Updated 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
- My MSc thesis: a grammar induction system☆16Updated 9 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- MC-AIXI-CTW by Marcus Hutter and his students (in particular Daniel Visentin)☆49Updated 14 years ago
- Forward and Reverse Mode Automatic Differentiation (AD) in R6RS Scheme plus extensions to support nondeterministic and stochastic program…☆39Updated 9 years ago
- The Design and Implementation of Probabilistic Programming Languages☆180Updated last year
- A continuous implementation of hierarchical temporal memory on the GPU☆39Updated 10 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated last year
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆20Updated 2 months ago
- experimental computational medium and supporting tools☆23Updated last week
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆77Updated 7 years ago
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search. See also AS-MOSES https://github.com/opencog/asmoses but kept to gu…☆131Updated 2 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆68Updated last year
- Port of Aleph to SWI-Prolog☆50Updated last year
- Running the code you want to write as fast as the code you have to write☆140Updated 9 years ago
- A low-level probabilistic programming framework embedded in Terra.☆29Updated 9 years ago