Alternatives and similar repositories for logic-life-search:

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

• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated 11 months ago
• emreyolcu / rewriting-collatz
  An automated approach to the Collatz conjecture
  ☆13Updated last year
• jsummers / winlifesearch
  A Windows program to search for cellular automata patterns
  ☆15Updated 12 years ago
• m-ender / alice
  A feature-rich, two-dimensional, recreational programming language. With mirrors.
  ☆43Updated 3 years ago
• vkostyukov / quipu
  Quipu Programming Language
  ☆19Updated 12 years ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆48Updated last month
• m-ender / wumpus
  A two-dimensional, triangular programming language.
  ☆18Updated 3 years ago
• supposedly / nutshell
  [alpha!] [dormant!] An advanced cellular-automaton-specification language that transpiles to Golly's.
  ☆17Updated 5 months ago
• dmishin / js-revca
  Reversible cellular automata simulator in HTML5 + Java Script.
  ☆32Updated 7 years ago
• jedlimlx / Cellular-Automaton-Viewer
  A Cellular Automaton Simulator written in Kotlin / Java
  ☆8Updated 6 months ago
• pxeger / whython
  Fork of Python with some terrible custom features hacked in
  ☆16Updated 2 years ago
• andreaferretti / commutative-algebra
  An introduction to the basic ideas of commutative algebra
  ☆17Updated 5 years ago
• kspalaiologos / ski
  a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff
  ☆11Updated 4 years ago
• FMNSSun / Burlesque
  http://mroman.ch/burlesque
  ☆14Updated 5 years ago
• sorear / smm
  sorear's Metamath system engine
  ☆13Updated 8 years ago
• iatorm / grime
  A language for matching two-dimensional patterns, based on Boolean grammars.
  ☆13Updated 7 years ago
• cyrus- / thesis
  My PhD thesis, titled "Reasonably Programmable Syntax"
  ☆15Updated 6 years ago
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆18Updated last year
• serprex / Befunge
  lang befunge 93 fast
  ☆20Updated last year
• SIGPLAN / SIGPLAN.github.io
  SIGPLAN website
  ☆11Updated 2 weeks ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆14Updated 5 years ago
• m-ender / stackcats
  A stack-based programming language with a lot of symmetry.
  ☆26Updated 8 years ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 3 years ago
• DaveAckley / ULAM
  Compiler for MFM programming language
  ☆21Updated last month
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• lyxal / Minefriff
  A minecraft esolang
  ☆12Updated 5 years ago
• maths / PRESS
  PRolog Equation Solving System
  ☆30Updated 8 years ago
• p-e-w / sequencer
  Purely algorithmic number sequence identification
  ☆29Updated 3 years ago
• Anon52MI4 / oeis-alien
  ☆19Updated 2 years ago
• QuestForTetris / tetris-writeup
  A place to draft the answers for the tetris PPCG challenge
  ☆31Updated 7 years ago