Alternatives and similar repositories for hashlattice

Users that are interested in hashlattice are comparing it to the libraries listed below

• distillpub / post--research-debt
  Research Debt
  ☆26Updated 7 years ago
• OscarCunningham / logic-life-search
  Cellular automata search program
  ☆26Updated 3 years ago
• mtrazzi / gym-alttp-gridworld
  A gym environment for Stuart Armstrong's model of a treacherous turn.
  ☆18Updated 7 years ago
• metamath / metamath-book
  Source of metamath book
  ☆53Updated 2 years ago
• agentmodels / agentmodels.org
  Modeling agents with probabilistic programs
  ☆67Updated 6 years ago
• oughtinc / patchwork
  Command-line recursive question-answering with immutable contexts and explicit data store
  ☆26Updated 7 years ago
• WuTheFWasThat / PyChurch
  A probabilistic programming language, based on Church
  ☆17Updated 8 years ago
• MathWebSearch / mws
  MathWebSearch Implementation
  ☆48Updated 3 years ago
• evertheylen / logicpy
  Prolog Implementation in Python
  ☆12Updated 8 years ago
• chiggum / Neural-Turing-Machines
  An attempt at replicating Deepmind's Neural Turing Machines in Theano
  ☆11Updated 9 years ago
• emreyolcu / rewriting-collatz
  An automated approach to the Collatz conjecture
  ☆12Updated 2 years ago
• CarsonScott / OpenAgent
  An agent library for systems of nested automata.
  ☆43Updated 8 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated 4 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 7 months ago
• mathemajician / AIQ
  Algorithmic Intelligence Quotient
  ☆39Updated 4 years ago
• the-laughing-monkey / learning-ai-if-you-suck-at-math
  ☆31Updated 8 years ago
• moridinamael / mc-aixi
  MC-AIXI-CTW by Marcus Hutter and his students (in particular Daniel Visentin)
  ☆51Updated 14 years ago
• opencog / language-learning
  OpenCog Unsupervised Language Learning
  ☆20Updated 6 years ago
• CarsonScott / CALM
  Conditional Associative Logic Memory
  ☆27Updated 8 years ago
• williamstein / rh
  Riemann Hypothesis book
  ☆74Updated 8 years ago
• opennars / ALANN2018
  Adaptive Logic and Neural Network (ALANN) version of NARS style General Machine Intelligence (GMI)
  ☆32Updated 3 years ago
• clsn / ries
  Robert Munafo's reverse equation solver
  ☆19Updated 2 years ago
• HazyResearch / tuffy
  Tuffy, a Markov Logic Network solver
  ☆26Updated 11 years ago
• facebookresearch / dynabench
  Dynamic Adversarial Benchmarking platform
  ☆26Updated 3 years ago
• MartyWeissman / Python-for-number-theory
  A series of introductory instructional python notebooks, for computational number theory.
  ☆17Updated 7 years ago
• haystack / eyebrowse-server
  Eyebrowser Server
  ☆29Updated 7 years ago
• quantum-mechanics-for-everyone / simulations
  JavaScript MOOC simulations for the edX class Quantum Mechanics for Everyone provided by Georgetown University
  ☆18Updated 8 years ago
• PeterLuschny / Fast-Factorial-Functions
  Swing, divide and conquer the factorial!
  ☆81Updated 3 years ago
• minimaxir / gpt-j-6b-experiments
  Test prompts for GPT-J-6B and the resulting AI-generated texts
  ☆53Updated 4 years ago
• Duke-PL-Course / Prolog
  Example Problems and Assignments for Prolog
  ☆33Updated 12 years ago