Alternatives and similar repositories for logic-life-search

Users that are interested in logic-life-search are comparing it to the libraries listed below

• emreyolcu / rewriting-collatz
  An automated approach to the Collatz conjecture
  ☆13Updated last year
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆47Updated 3 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated last month
• tjwei / Fractran
  Javascript implementation of Fractran
  ☆14Updated 7 years ago
• vkostyukov / quipu
  Quipu Programming Language
  ☆20Updated 12 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆18Updated 2 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 11 years ago
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 7 years ago
• maths / PRESS
  PRolog Equation Solving System
  ☆30Updated 8 years ago
• catseye / Wierd
  A fungeoid language where bends in the chain determine the instructions
  ☆12Updated 3 years ago
• leegao / RegexEnumerator
  Combinatorial tricks to enumerate regular expressions in closed-form.
  ☆33Updated 8 years ago
• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• Anon52MI4 / oeis-alien
  ☆19Updated 2 years ago
• ljedrz / blc
  Binary lambda calculus
  ☆10Updated 7 years ago
• DaveAckley / ULAM
  Compiler for MFM programming language
  ☆22Updated 2 weeks ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 11 years ago
• dmishin / hyperbolic-ca-simulator
  Simulator of cellular automata on hyperbolic (Lobachevsky) plane, in browser.
  ☆38Updated 7 years ago
• netom / satispy
  An interface to SAT solver tools (like minisat)
  ☆60Updated 2 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• tangentstorm / mandelbrowse
  A visual Mandelbrot set explorer written in J
  ☆11Updated 4 years ago
• acharal / wam
  A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
  ☆20Updated 5 years ago
• johnhw / hashlife
  Implementation of Gosper's hashlife algorithm
  ☆39Updated 8 months ago
• darius / pythological
  A MiniKanren in Python
  ☆35Updated 9 years ago
• jcolag / Thue
  The Thue programming language: Programming with grammars
  ☆31Updated 11 years ago
• logicmoo / programk
  Chatbot impls in Prolog
  ☆15Updated 3 years ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 3 years ago
• thoppe / Encyclopedia-of-Finite-Graphs
  Set of tools and data to compute all known invariants for simple connected graphs
  ☆13Updated 7 years ago