Alternatives and similar repositories for logic-life-search

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

• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆48Updated 3 weeks ago
• tjwei / Fractran
  Javascript implementation of Fractran
  ☆14Updated 8 years ago
• vkostyukov / quipu
  Quipu Programming Language
  ☆20Updated 12 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 6 months ago
• emreyolcu / rewriting-collatz
  An automated approach to the Collatz conjecture
  ☆12Updated 2 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 4 years ago
• maths / PRESS
  PRolog Equation Solving System
  ☆29Updated 9 years ago
• FMNSSun / Burlesque
  http://mroman.ch/burlesque
  ☆14Updated 5 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• TehFlaminTaco / Reverse-Programmer-Notation
  An Esoteric Programming Language based on Reverse Polish Notation
  ☆12Updated 8 years ago
• thoppe / Cayley-Dickson
  Cayley Dickson algebra implementation in python
  ☆12Updated 6 years ago
• darius / sketchbook
  Smallish programs written to learn something.
  ☆50Updated last year
• abrudz / lb
  JavaScript language bars, keyboard layout key-bindings, and character compositions for entering APL characters
  ☆28Updated 6 months ago
• m-ender / orthagonal
  A two-dimensional programming language from 1994.
  ☆12Updated 9 years ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆37Updated this week
• tkwa / Sledgehammer
  A code-golf language written in Mathematica
  ☆20Updated 5 years ago
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆14Updated 3 months ago
• iczelia / ski
  a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff
  ☆12Updated 4 years ago
• baruchel / apl
  An implementation of the APL language in Python with the Numpy module
  ☆29Updated 8 years ago
• cslarsen / busy-beaver
  Calculates the uncomputable Busy Beaver Σ-function
  ☆11Updated 9 years ago
• muddyfish / PYKE
  Indev golfing language
  ☆18Updated 5 years ago
• jsummers / winlifesearch
  A Windows program to search for cellular automata patterns
  ☆16Updated 12 years ago
• helvm / helma
  🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell
  ☆15Updated last year
• Anon52MI4 / oeis-alien
  ☆22Updated 2 years ago
• catseye / Thue
  Cat's Eye Technologies' distribution of John Colagioia's Thue programming language
  ☆29Updated 10 years ago
• m-ender / alice
  A feature-rich, two-dimensional, recreational programming language. With mirrors.
  ☆46Updated 4 years ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆46Updated last month
• johnhw / hashlife
  Implementation of Gosper's hashlife algorithm
  ☆39Updated last year
• serprex / Befunge
  lang befunge 93 fast
  ☆21Updated 2 years ago