Alternatives and similar repositories for HashLife

Users that are interested in HashLife are comparing it to the libraries listed below

• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆173Updated 2 weeks ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆152Updated 7 years ago
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆183Updated 4 years ago
• dpiponi / quine-central
  A quine generator
  ☆313Updated 6 years ago
• remexre / evaltrees
  A simple term-rewriting interpreter that displays intermediate expressions.
  ☆14Updated 5 months ago
• Ataraxia-Mechanica / InfiniSweeper
  ☆32Updated 2 years ago
• johnhw / hashlife
  Implementation of Gosper's hashlife algorithm
  ☆39Updated last year
• ergawy / types-and-programming-languages
  C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..
  ☆34Updated 5 years ago
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆94Updated 10 months ago
• dannypsnl / write-a-programming-language
  How to make a new language(and why we shouldn't?)
  ☆40Updated 2 years ago
• xieyuheng / study
  Study of language design and implementation.
  ☆66Updated 5 years ago
• xieyuheng / inet-cute
  An implementation of interaction nets in JS.
  ☆132Updated 3 months ago
• Timwi / Funciton
  Funciton (pronounced: /ˈfʌŋkɪtɒn/) is a two-dimensional, declarative, functional, esoteric programming language. This is an interpreter a…
  ☆41Updated 9 months ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆127Updated last week
• vendethiel / trying.apl
  APL is the greatest language ever
  ☆68Updated 10 months ago
• fritzo / jenn3d
  A Toy for Visualizing Coxeter Polytopes
  ☆44Updated 4 years ago
• cicada-lang / cicada-solo
  Cicada Language (solo version)
  ☆129Updated 10 months ago
• coolwanglu / quine-chameleon
  Dancing Quine Chameleon
  ☆42Updated 10 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆305Updated last week
• elliotwaite / rule-30-and-game-of-life
  Generates a 2D animation of Rule 30 (or other rules) being fed into Conway's Game of Life.
  ☆166Updated last year
• AlephAlpha / golly
  Golly, a Game of Life simulator (unofficial mirror from SourceForge)
  ☆58Updated 2 weeks ago
• owo-lang / OwO
  Placeholder for the OwO compiler
  ☆60Updated 6 years ago
• brianquinlan / brainfuck-jit
  A simple Brainfuck JIT written as a learning exercise.
  ☆16Updated 6 years ago
• rdebath / LostKingdom
  Jon Ripley's Brainfuck Lost Kingdom running in your browser.
  ☆46Updated 6 months ago
• matslina / bfoptimization
  "Research" on how to best optimize brainfuck code.
  ☆73Updated 3 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated last year
• ngzhian / ski
  SKI combinators
  ☆55Updated 8 years ago
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆200Updated 6 months ago
• HouQiming / ama
  A system to amalgamate any features you want into any language you need
  ☆26Updated 3 years ago
• ljedrz / lambda_calculus
  A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
  ☆133Updated last month