Alternatives and similar repositories for aic-praise:

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

• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated last year
• 222464 / HTSL
  Hierarchical Temporal Sparse Learner
  ☆13Updated 9 years ago
• piskvorky / PredatorPrey
  Boid flocking model in OpenGL
  ☆12Updated 7 years ago
• CognitiveComputingResearchGroup / lida-framework
  ☆9Updated 8 years ago
• idsc-frazzoli / subare
  reinforcement learning algorithms from the book by Sutton and Barto
  ☆16Updated 4 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• DaveAckley / ULAM
  Compiler for MFM programming language
  ☆21Updated last month
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• arvoelke / delay2017
  Improving spiking dynamical networks: Accurate delays, higher-order synapses, and time cells
  ☆7Updated 7 years ago
• cair / TsetlinMachineC
  A C implementation of the Tsetlin Machine
  ☆15Updated 6 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• bornreddy / FFT
  FFT Explorations (basic implementation)
  ☆10Updated 10 years ago
• opencog / spacetime
  Save, track and query 3D+time locations of objects in the AtomSpace
  ☆13Updated 3 weeks ago
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 7 years ago
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆15Updated 3 years ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 10 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆75Updated 7 years ago
• leihuang / infotopo0
  Information geometry and its extension information topology
  ☆10Updated 7 years ago
• opencog / generate
  Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)
  ☆31Updated 3 months ago
• jjoller / aixi
  Implementation of the Monte-Carlo CTW AIXI approximation as described by Joel Veness et al.
  ☆12Updated 8 years ago
• thoppe / Cayley-Dickson
  Cayley Dickson algebra implementation in python
  ☆12Updated 6 years ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• 51alg / TerpreT
  ☆43Updated 7 years ago
• numenta / htmresearch-core
  Numenta's experimental C++ research code. Please see htmresearch for more details.
  ☆25Updated 5 years ago
• jnoessner / rockIt
  RockIt: A query engine for Markov logic
  ☆11Updated 8 years ago
• logicmoo / logicmoo_clif
  Base Forward Chaining Knowledge Base Maintenance System
  ☆19Updated 3 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• colah / Motivated-Topology
  A topology textbook with a hubristic title
  ☆30Updated 9 years ago
• datamicroscopes / irm
  Infinite relational model (IRM) for datamicroscopes
  ☆14Updated 9 years ago