Alternatives and similar repositories for aic-praise:

Users that are interested in aic-praise are comparing it to the libraries listed below

• 222464 / HTSL
  Hierarchical Temporal Sparse Learner
  ☆13Updated 9 years ago
• idsc-frazzoli / subare
  reinforcement learning algorithms from the book by Sutton and Barto
  ☆16Updated 4 years ago
• patham9 / ANSNA
  Adaptive Neuro-Symbolic Network Agent
  ☆36Updated 2 years ago
• CognitiveComputingResearchGroup / lida-framework
  ☆9Updated 8 years ago
• uuverifiers / autosat
  Constructing automata with SAT solvers
  ☆8Updated 6 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated 11 months ago
• htm-community / cell-viz
  ☆11Updated 6 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• msbrogli / sdm-framework
  A Sparse Distributed Memory Framework.
  ☆44Updated 5 years ago
• WuTheFWasThat / PyChurch
  A probabilistic programming language, based on Church
  ☆17Updated 7 years ago
• opennars / ALANN2018
  Adaptive Logic and Neural Network (ALANN) version of NARS style General Machine Intelligence (GMI)
  ☆27Updated 2 years ago
• arvoelke / delay2017
  Improving spiking dynamical networks: Accurate delays, higher-order synapses, and time cells
  ☆7Updated 7 years ago
• flexgp / efs
  Evolutionary feature synthesis
  ☆17Updated 9 years ago
• jnoessner / rockIt
  RockIt: A query engine for Markov logic
  ☆11Updated 8 years ago
• SparseLinearAlgebra / spbla
  Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations
  ☆14Updated 2 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• ianopolous / JayD
  An x86 disassembler written in Java (port of udis86)
  ☆13Updated 10 years ago
• logicmoo / logicmoo_clif
  Base Forward Chaining Knowledge Base Maintenance System
  ☆18Updated 3 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆75Updated 7 years ago
• sfu-cl-lab / FactorBase
  The source code repository for the FactorBase system
  ☆10Updated last year
• SmileWide / main
  The main - so far, only - repository for the SmileWide project.
  ☆32Updated 9 years ago
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆14Updated 2 years ago
• numenta / htmresearch-core
  Numenta's experimental C++ research code. Please see htmresearch for more details.
  ☆25Updated 5 years ago
• eMoflon / emoflon-ibex
  Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
  ☆17Updated this week
• tomzx / agi-concept-map
  The AGI Concept Map is my attempt at reconstructing all the internal knowledge I've acquired about artificial general intelligence over t…
  ☆14Updated 5 years ago
• Mortimerp9 / Prolog-Graphplan
  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…
  ☆36Updated 10 years ago
• emreyolcu / rewriting-collatz
  An automated approach to the Collatz conjecture
  ☆13Updated last year
• ryanjmccall / LIDA-Framework-1.2b
  LIDA Software Framework
  ☆10Updated 10 years ago
• uclnlp / d4
  Differentiable Forth Interpreter
  ☆69Updated 7 years ago