Alternatives and similar repositories for logic-life-search

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

• tjwei / Fractran
  Javascript implementation of Fractran
  ☆14Updated 8 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 7 months ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆49Updated 2 weeks ago
• vkostyukov / quipu
  Quipu Programming Language
  ☆20Updated 13 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆15Updated 4 months ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆37Updated this week
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 4 years ago
• jsummers / winlifesearch
  A Windows program to search for cellular automata patterns
  ☆16Updated 12 years ago
• emreyolcu / rewriting-collatz
  An automated approach to the Collatz conjecture
  ☆12Updated 2 years ago
• Radvylf / rSNBATWPL
  Radvylf Should Not Be Allowed To Write Programming Languages
  ☆12Updated 3 years ago
• nickdrozd / busy-beaver-stuff
  Tools for finding and analyzing Busy Beaver programs for Turing machines
  ☆13Updated this week
• darius / sketchbook
  Smallish programs written to learn something.
  ☆50Updated 2 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆96Updated 2 years ago
• Anon52MI4 / oeis-alien
  ☆22Updated 3 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
• pxeger / whython
  Fork of Python with some terrible custom features hacked in
  ☆14Updated 3 years ago
• FMNSSun / Burlesque
  http://mroman.ch/burlesque
  ☆14Updated 6 years ago
• baruchel / apl
  An implementation of the APL language in Python with the Numpy module
  ☆29Updated 9 years ago
• TehFlaminTaco / Reverse-Programmer-Notation
  An Esoteric Programming Language based on Reverse Polish Notation
  ☆12Updated 8 years ago
• johnhw / hashlife
  Implementation of Gosper's hashlife algorithm
  ☆39Updated last week
• cslarsen / busy-beaver
  Calculates the uncomputable Busy Beaver Σ-function
  ☆11Updated 9 years ago
• m-ender / alice
  A feature-rich, two-dimensional, recreational programming language. With mirrors.
  ☆46Updated 4 years ago
• abrudz / lb
  JavaScript language bars, keyboard layout key-bindings, and character compositions for entering APL characters
  ☆28Updated 7 months ago
• scizzorz / rain
  A programming language.
  ☆21Updated 8 years ago
• sympy / sympy_doc
  SymPy Documentation repository
  ☆37Updated this week
• maths / PRESS
  PRolog Equation Solving System
  ☆29Updated 9 years ago
• thoppe / Cayley-Dickson
  Cayley Dickson algebra implementation in python
  ☆12Updated 7 years ago