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
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated 2 weeks ago
• vkostyukov / quipu
  Quipu Programming Language
  ☆20Updated 12 years ago
• tjwei / Fractran
  Javascript implementation of Fractran
  ☆14Updated 7 years ago
• jsummers / winlifesearch
  A Windows program to search for cellular automata patterns
  ☆15Updated 12 years ago
• supposedly / nutshell
  [alpha!] [dormant!] An advanced cellular-automaton-specification language that transpiles to Golly's.
  ☆17Updated 8 months ago
• AlephAlpha / rlifesrc
  A Game of Life pattern searcher written in Rust. 用 Rust 搜索生命游戏中的图样。
  ☆20Updated last year
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆47Updated 2 months ago
• FMNSSun / Burlesque
  http://mroman.ch/burlesque
  ☆14Updated 5 years ago
• catseye / Wierd
  A fungeoid language where bends in the chain determine the instructions
  ☆12Updated 3 years ago
• aaronryank / Cubically
  An esoteric programming language based on Rubik's Cubes
  ☆28Updated 7 years ago
• lyxal / Minefriff
  A minecraft esolang
  ☆12Updated 5 years ago
• m-ender / wumpus
  A two-dimensional, triangular programming language.
  ☆18Updated 4 years ago
• tkwa / Sledgehammer
  A code-golf language written in Mathematica
  ☆20Updated 5 years ago
• m-ender / alice
  A feature-rich, two-dimensional, recreational programming language. With mirrors.
  ☆46Updated 4 years ago
• qpliu / esolang
  My esoteric languages
  ☆27Updated 2 years ago
• dmishin / js-revca
  Reversible cellular automata simulator in HTML5 + Java Script.
  ☆32Updated 8 years ago
• kspalaiologos / ski
  a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff
  ☆11Updated 4 years ago
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆18Updated last year
• m-ender / stackcats
  A stack-based programming language with a lot of symmetry.
  ☆26Updated 8 years ago
• jcolag / Thue
  The Thue programming language: Programming with grammars
  ☆31Updated 10 years ago
• QuestForTetris / Cogol
  "C of Game of Life" is a higher-level language for use with the Game of Life processor.
  ☆78Updated 6 years ago
• dloscutoff / Esolangs
  Miscellaneous esoteric programming languages.
  ☆39Updated 4 months ago
• abrudz / lb
  JavaScript language bars, keyboard layout key-bindings, and character compositions for entering APL characters
  ☆28Updated last month
• pxeger / whython
  Fork of Python with some terrible custom features hacked in
  ☆16Updated 2 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• tylerneylon / math
  A collection of open source math notes.
  ☆30Updated 11 months ago
• aaronjanse / marble-complete
  Design a turing-complete marble run with ascii/unicode art
  ☆54Updated 7 years ago
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆78Updated 4 years ago
• tsgouros / www-shrdlu
  A revival of Terry Winograd's famous SHRDLU program, adapted to use on the web.
  ☆33Updated 10 years ago