Alternatives and similar repositories for logic-life-search:

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

• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 3 years ago
• supposedly / nutshell
  [alpha!] [dormant!] An advanced cellular-automaton-specification language that transpiles to Golly's.
  ☆17Updated 4 months ago
• jsummers / winlifesearch
  A Windows program to search for cellular automata patterns
  ☆15Updated 12 years ago
• mwalczyk / pga-axioms
  Huzita-Hatori axioms for origami, implemented using 2D projective geometric algebra.
  ☆12Updated 4 years ago
• vkostyukov / quipu
  Quipu Programming Language
  ☆19Updated 12 years ago
• emreyolcu / rewriting-collatz
  An automated approach to the Collatz conjecture
  ☆13Updated last year
• m-ender / alice
  A feature-rich, two-dimensional, recreational programming language. With mirrors.
  ☆43Updated 3 years ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆33Updated this week
• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 10 years ago
• aaronryank / Forked
  Two-dimensional esolang. WIP, please contribute
  ☆9Updated 6 years ago
• Anon52MI4 / oeis-alien
  ☆19Updated 2 years ago
• rdebath / LostKingdom
  Jon Ripley's Brainfuck Lost Kingdom running in your browser.
  ☆42Updated 5 years ago
• pkrumins / busy-beaver
  Implementation of a Turing Machine that runs the Busy Beaver programs.
  ☆20Updated 15 years ago
• p-e-w / sequencer
  Purely algorithmic number sequence identification
  ☆29Updated 3 years ago
• lyxal / Minefriff
  A minecraft esolang
  ☆12Updated 5 years ago
• riveSunder / yuca
  Your Universal Cellular Automata
  ☆12Updated 10 months ago
• Timwi / Funciton
  Funciton (pronounced: /ˈfʌŋkɪtɒn/) is a two-dimensional, declarative, functional, esoteric programming language. This is an interpreter a…
  ☆40Updated 3 weeks ago
• catseye / Wierd
  A fungeoid language where bends in the chain determine the instructions
  ☆12Updated 3 years ago
• thoppe / Cayley-Dickson
  Cayley Dickson algebra implementation in python
  ☆12Updated 6 years ago
• leegao / RegexEnumerator
  Combinatorial tricks to enumerate regular expressions in closed-form.
  ☆33Updated 8 years ago
• WuTheFWasThat / PyChurch
  A probabilistic programming language, based on Church
  ☆17Updated 7 years ago
• m-ender / wumpus
  A two-dimensional, triangular programming language.
  ☆18Updated 3 years ago
• QuestForTetris / Cogol
  "C of Game of Life" is a higher-level language for use with the Game of Life processor.
  ☆77Updated 5 years ago
• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆26Updated 4 years ago
• iatorm / grime
  A language for matching two-dimensional patterns, based on Boolean grammars.
  ☆13Updated 7 years ago
• Torvaney / flow-solver
  Solving the "Flow Free" game (mobile app) with Clojure and SAT
  ☆10Updated 5 years ago
• tfburns / TuringMachine.jl
  Julia-based Turing machine simulator
  ☆11Updated last year
• sidneycadot / oeis
  Code to download, process, and analyse the Online Encyclopedia of Integer Sequences
  ☆46Updated 2 weeks ago
• kade-robertson / pythuhn
  A Python interpreter for the huh? programming language.
  ☆10Updated 6 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆90Updated 6 months ago