Alternatives and similar repositories for logic-life-search

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

• jsummers / winlifesearch

  View on GitHub
  A Windows program to search for cellular automata patterns
  ☆16Jan 24, 2013Updated 13 years ago
• AlephAlpha / rlifesrc

  View on GitHub
  A Game of Life pattern searcher written in Rust. 用 Rust 搜索生命游戏中的图样。
  ☆20Feb 19, 2024Updated last year
• jedlimlx / Cellular-Automaton-Viewer

  View on GitHub
  A Cellular Automaton Simulator written in Kotlin / Java
  ☆11Sep 16, 2024Updated last year
• Sciguymjm / CellularAutomata

  View on GitHub
  Music generation using Elementary Cellular Automata.
  ☆13Nov 23, 2015Updated 10 years ago
• technoblogy / visible-lisp-computer

  View on GitHub
  A Lisp interpreter that displays the contents of the Lisp workspace on an OLED display
  ☆16Aug 14, 2019Updated 6 years ago
• stacksmith / fpgasm

  View on GitHub
  FPGA assembler! Create bare-metal FPGA designs without Verilog or VHDL (Not to self: use Lisp next time)
  ☆54Jul 22, 2021Updated 4 years ago
• AlephAlpha / LifeFind

  View on GitHub
  A simple and naïve Game of Life pattern searcher written in Wolfram Language. 用 Mathematica 搜索生命游戏中的图样。
  ☆15Nov 5, 2019Updated 6 years ago
• irori / advent-unlambda

  View on GitHub
  A faithful implementation of the Colossal Cave Adventure in Unlambda
  ☆18Dec 9, 2019Updated 6 years ago
• adipandas / SmallWorldNetCA

  View on GitHub
  Small world networks in Cellular Automata
  ☆19Mar 26, 2021Updated 4 years ago
• jimlindstrom / MyDoom

  View on GitHub
  Doom - reimplemented cleanly, in C++, without all the obscuring optimizations
  ☆12Jan 9, 2015Updated 11 years ago
• hcrypt-project / oblivious

  View on GitHub
  Oblivious Memory Access under Fully Homomorphic Encryption
  ☆13Aug 12, 2015Updated 10 years ago
• dohliam / openjs1k

  View on GitHub
  A collection of freely-licensed js1k entries
  ☆10Feb 29, 2016Updated 9 years ago
• Radvylf / rSNBATWPL

  View on GitHub
  Radvylf Should Not Be Allowed To Write Programming Languages
  ☆12Nov 11, 2022Updated 3 years ago
• glouw / kvltland

  View on GitHub
  The fractal land generator
  ☆15Aug 3, 2019Updated 6 years ago
• pjworsley / capyle

  View on GitHub
  Cellular Automata teaching tool
  ☆11Nov 17, 2022Updated 3 years ago
• triska / presprover

  View on GitHub
  Prove formulas of Presburger Arithmetic
  ☆11Oct 5, 2024Updated last year
• jimwhite / treemeta

  View on GitHub
  A revival of the TREE-META compiler-compiler.
  ☆15May 15, 2018Updated 7 years ago
• nicholasyager / cellular-automata

  View on GitHub
  A collection of cellular automata simulations written in python.
  ☆14Jun 2, 2014Updated 11 years ago
• jpt4 / skio

  View on GitHub
  Pure relational SKI combinator calculus interpreter.
  ☆11Jul 13, 2017Updated 8 years ago
• wejgaard / Holonforth-GUI

  View on GitHub
  Second generation of the HolonForth concept, now applied to general software development. Featuring code structured as books with Chapter…
  ☆12Apr 22, 2018Updated 7 years ago
• Radvylf / trianguish

  View on GitHub
  A 2d "programming language" based around triangles
  ☆11Sep 23, 2023Updated 2 years ago
• 173duprot / saneforth

  View on GitHub
  TinyForth Standard -- microscopic simplified forth standard of 35 words, designed to make forth as simple, extensible, and readable as po…
  ☆13Feb 26, 2023Updated 2 years ago
• SjVer / Lamb

  View on GitHub
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Sep 29, 2022Updated 3 years ago
• nickdrozd / busy-beaver-stuff

  View on GitHub
  Tools for finding and analyzing Busy Beaver programs for Turing machines
  ☆14Updated this week
• KaKrzysiek / bigint

  View on GitHub
  Open source library to handle integers of any size in C
  ☆14Apr 11, 2023Updated 2 years ago
• imneme / mini-sk

  View on GitHub
  A Small Combinator-Reduction System
  ☆19Jul 14, 2020Updated 5 years ago
• Nikorasu / PyNAnts

  View on GitHub
  Ant Pheromone Trail Simulation
  ☆17May 7, 2024Updated last year
• athas / futball

  View on GitHub
  You are trapped on an infinite tile floor along with murderous marbles
  ☆13Sep 30, 2024Updated last year
• DennisMitchell / dodos

  View on GitHub
  Dodos Only Divide Or Surrender
  ☆14Mar 18, 2018Updated 7 years ago
• strainer / trigfills

  View on GitHub
  Sin, cos, tan, asin... polyfills for when cross browser consistency is desired.
  ☆16Aug 6, 2021Updated 4 years ago
• m-ender / orthagonal

  View on GitHub
  A two-dimensional programming language from 1994.
  ☆12Oct 2, 2016Updated 9 years ago
• supposedly / nutshell

  View on GitHub
  [alpha!] [dormant!] An advanced cellular-automaton-specification language that transpiles to Golly's.
  ☆17Oct 9, 2024Updated last year
• darrenks / atlas

  View on GitHub
  concise functionless functional esolang
  ☆14Jan 18, 2026Updated 3 weeks ago
• uwplse / potpie

  View on GitHub
  Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct
  ☆16Aug 19, 2024Updated last year
• aheui / jsaheui

  View on GitHub
  Aheui interpreter in Javascript
  ☆22Nov 20, 2016Updated 9 years ago
• bbchallenge / bbchallenge-deciders

  View on GitHub
  Here we give programs that check if Turing machines halt or not.
  ☆15Sep 1, 2025Updated 5 months ago
• 8l / asif

  View on GitHub
  A Self-Interpreter for F-omega
  ☆16Dec 6, 2015Updated 10 years ago
• ssuukk / wolin

  View on GitHub
  A modern, minimal Kotlin-like language for MOS 6502 / 6510
  ☆16Jul 30, 2020Updated 5 years ago
• jdykstra / ucsd-psystem-xc

  View on GitHub
  Actively maintained fork of Peter Miller's UCSD P-System tools - Cross-compiler
  ☆18Nov 2, 2025Updated 3 months ago