Alternatives and similar repositories for logic-life-search

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

• vkostyukov / quipu
  Quipu Programming Language
  ☆20Updated 12 years ago
• tjwei / Fractran
  Javascript implementation of Fractran
  ☆14Updated 7 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 2 months ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆47Updated 4 months ago
• emreyolcu / rewriting-collatz
  An automated approach to the Collatz conjecture
  ☆13Updated last year
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 4 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.
  ☆14Updated 5 months ago
• maths / PRESS
  PRolog Equation Solving System
  ☆29Updated 8 years ago
• Anon52MI4 / oeis-alien
  ☆19Updated 2 years ago
• FMNSSun / Burlesque
  http://mroman.ch/burlesque
  ☆14Updated 5 years ago
• jsummers / winlifesearch
  A Windows program to search for cellular automata patterns
  ☆16Updated 12 years ago
• lyxal / Minefriff
  A minecraft esolang
  ☆12Updated 5 years ago
• metamath / metamath-book
  Source of metamath book
  ☆49Updated last year
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆37Updated last week
• TehFlaminTaco / Reverse-Programmer-Notation
  An Esoteric Programming Language based on Reverse Polish Notation
  ☆12Updated 8 years ago
• m-ender / alice
  A feature-rich, two-dimensional, recreational programming language. With mirrors.
  ☆46Updated 4 years ago
• johnhw / hashlife
  Implementation of Gosper's hashlife algorithm
  ☆39Updated 10 months ago
• cslarsen / busy-beaver
  Calculates the uncomputable Busy Beaver Σ-function
  ☆11Updated 9 years ago
• dmishin / js-revca
  Reversible cellular automata simulator in HTML5 + Java Script.
  ☆32Updated 8 years ago
• m-ender / wumpus
  A two-dimensional, triangular programming language.
  ☆18Updated 4 years ago
• abrudz / lb
  JavaScript language bars, keyboard layout key-bindings, and character compositions for entering APL characters
  ☆28Updated 3 months ago
• tkwa / Sledgehammer
  A code-golf language written in Mathematica
  ☆20Updated 5 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• Radvylf / rSNBATWPL
  Radvylf Should Not Be Allowed To Write Programming Languages
  ☆12Updated 2 years ago
• rdentato / gerku
  An interpreter for concatenative combinators (i.e. Combinators as a functional language)
  ☆10Updated 3 years ago
• serprex / Rue
  lang Thue + Regex
  ☆15Updated 3 years ago
• darius / sketchbook
  Smallish programs written to learn something.
  ☆51Updated last year
• thoppe / Encyclopedia-of-Finite-Graphs
  Set of tools and data to compute all known invariants for simple connected graphs
  ☆14Updated 7 years ago
• thoppe / Cayley-Dickson
  Cayley Dickson algebra implementation in python
  ☆12Updated 6 years ago