Alternatives and similar repositories for hashlattice

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

• emreyolcu / rewriting-collatz
  An automated approach to the Collatz conjecture
  ☆13Updated last year
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆57Updated 16 years ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆47Updated 2 months ago
• WuTheFWasThat / PyChurch
  A probabilistic programming language, based on Church
  ☆17Updated 7 years ago
• oughtinc / patchwork
  Command-line recursive question-answering with immutable contexts and explicit data store
  ☆26Updated 6 years ago
• JUrban / deepmath
  deep learning for math
  ☆29Updated 6 years ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆14Updated last year
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆15Updated 3 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• shingarov / MachineArithmetic
  A mathematical foundation for Smalltalk-25
  ☆17Updated this week
• AlignmentResearch / learned-planner
  Interpretability tools for recurrent convolutional networks (DRC) that play Sokoban
  ☆13Updated 3 months ago
• Co-dfns / mystika
  High-end Cryptographic Library
  ☆44Updated 5 years ago
• OscarCunningham / logic-life-search
  Cellular automata search program
  ☆26Updated 2 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated last year
• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• mtrazzi / gym-alttp-gridworld
  A gym environment for Stuart Armstrong's model of a treacherous turn.
  ☆18Updated 6 years ago
• CarsonScott / OpenAgent
  An agent library for systems of nested automata.
  ☆43Updated 8 years ago
• calroc / joypy
  Automatically exported from code.google.com/p/joypy
  ☆29Updated 7 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 10 years ago
• aindilis / flp
  The Free Life Planner Reference Manual
  ☆11Updated 3 weeks ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 6 months ago
• johnswentworth / tracelang
  Read, write and manipulate code which reads, writes and manipulates code.
  ☆10Updated 5 years ago
• UFrameIT / UFrameIT
  The current Unity-based implementation of the FrameIT approach
  ☆12Updated 2 years ago
• DaveAckley / ULAM
  Compiler for MFM programming language
  ☆22Updated 3 months ago
• jonghough / jlearn
  Machine Learning Library, written in J
  ☆59Updated last year
• PlanetAPL / a-plus
  The A+ programming language from Morgan Stanley
  ☆38Updated 11 years ago
• breck7 / research
  I moved this folder. Keeping this repo up for archival purposes only.
  ☆17Updated last year
• distillpub / post--research-debt
  Research Debt
  ☆26Updated 7 years ago
• digitalheir / probabilistic-earley-parser-javascript
  🎲 An efficient implementation of a probabilistic Context Free Grammar parser in Javascript
  ☆55Updated 2 years ago