Alternatives and similar repositories for hashlattice

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

• mtrazzi / gym-alttp-gridworld
  A gym environment for Stuart Armstrong's model of a treacherous turn.
  ☆18Updated 7 years ago
• OscarCunningham / logic-life-search
  Cellular automata search program
  ☆26Updated 3 years ago
• WuTheFWasThat / PyChurch
  A probabilistic programming language, based on Church
  ☆17Updated 7 years ago
• agentmodels / agentmodels.org
  Modeling agents with probabilistic programs
  ☆67Updated 6 years ago
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year
• davidar / stochaskell
  ☆14Updated 2 years ago
• CarsonScott / OpenAgent
  An agent library for systems of nested automata.
  ☆43Updated 8 years ago
• johnswentworth / tracelang
  Read, write and manipulate code which reads, writes and manipulates code.
  ☆10Updated 5 years ago
• oughtinc / patchwork
  Command-line recursive question-answering with immutable contexts and explicit data store
  ☆26Updated 7 years ago
• CarsonScott / CALM
  Conditional Associative Logic Memory
  ☆27Updated 7 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 3 months ago
• JUrban / deepmath
  deep learning for math
  ☆29Updated 6 years ago
• SoarGroup / Agents
  A large collection of example and demo Soar agents for a variety of domains and problems.
  ☆26Updated 8 years ago
• mathemajician / AIQ
  Algorithmic Intelligence Quotient
  ☆39Updated 3 years ago
• MathWebSearch / mws
  MathWebSearch Implementation
  ☆48Updated 2 years ago
• sympy / sympy_doc
  SymPy Documentation repository
  ☆37Updated this week
• minimaxir / gpt-j-6b-experiments
  Test prompts for GPT-J-6B and the resulting AI-generated texts
  ☆53Updated 4 years ago
• distillpub / post--research-debt
  Research Debt
  ☆26Updated 7 years ago
• emreyolcu / rewriting-collatz
  An automated approach to the Collatz conjecture
  ☆13Updated last year
• ltworf / relational
  Educational tool for relational algebra
  ☆92Updated last year
• DethRaid / voynich-translation
  A project to translate the Voynich Manuscript into English
  ☆10Updated 2 years ago
• chiggum / Neural-Turing-Machines
  An attempt at replicating Deepmind's Neural Turing Machines in Theano
  ☆11Updated 8 years ago
• jjoller / aixi
  Implementation of the Monte-Carlo CTW AIXI approximation as described by Joel Veness et al.
  ☆12Updated 8 years ago
• quantum-mechanics-for-everyone / simulations
  JavaScript MOOC simulations for the edX class Quantum Mechanics for Everyone provided by Georgetown University
  ☆17Updated 7 years ago
• taniki / comp.soc-of-philosophy
  computational sociology of philosophy
  ☆14Updated 9 years ago
• twosigma / beaker-notebook-archive
  Archive of Beaker Notebook
  ☆12Updated 8 years ago
• pi-co / List-of-all-Foods
  Exhaustive list of all foods & food items in the world. Crawled from Wikipedia.
  ☆19Updated 8 years ago
• IBM / watson-assistant-with-search-skill
  Build a Node.js chatbot that uses Watson Assistant search skill to query an owner's manual
  ☆11Updated last week
• lab-v2 / pyreason-gym
  An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting
  ☆31Updated last year
• gsurma / meta_intelligence
  AI research environment for program generation.
  ☆27Updated 2 years ago