Alternatives and similar repositories for HashLife:

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

• jbeder / fractran
  Fractran interpreter in Fractran
  ☆34Updated 10 years ago
• ergawy / types-and-programming-languages
  C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..
  ☆34Updated 4 years ago
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆182Updated 4 years ago
• rdebath / LostKingdom
  Jon Ripley's Brainfuck Lost Kingdom running in your browser.
  ☆43Updated 5 years ago
• coolwanglu / quine-chameleon
  Dancing Quine Chameleon
  ☆41Updated 9 years ago
• benjojo / c2bf
  C2BF is a C compiler targeting brainfuck, written by the twisted mind of Gregor Richards.
  ☆35Updated 2 years ago
• aceto / aceto
  A programming language based on a 2D Hilbert curve grid
  ☆89Updated 2 years ago
• rottytooth / Entropy
  Compiler for Entropy, a programming language where all data is in a constant state of decay
  ☆58Updated 8 months ago
• ridiculousfish / wavefiz
  GL Wavefunction Visualizer
  ☆46Updated 5 months ago
• QuestForTetris / Cogol
  "C of Game of Life" is a higher-level language for use with the Game of Life processor.
  ☆78Updated 5 years ago
• HouQiming / ama
  A system to amalgamate any features you want into any language you need
  ☆26Updated 2 years ago
• xieyuheng / study
  Study of language design and implementation.
  ☆67Updated 4 years ago
• owo-lang / voile-rs
  Dependently-typed row-polymorphic programming language, evolved from minitt-rs
  ☆97Updated 4 years ago
• Timwi / Funciton
  Funciton (pronounced: /ˈfʌŋkɪtɒn/) is a two-dimensional, declarative, functional, esoteric programming language. This is an interpreter a…
  ☆42Updated 3 months ago
• graue / esofiles
  The Esoteric File Archive
  ☆99Updated 11 months ago
• ljedrz / lambda_calculus
  A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
  ☆120Updated 9 months ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆105Updated last week
• be5invis / PatEL
  The Patrisika Example Language
  ☆45Updated 5 months ago
• johnhw / hashlife
  Implementation of Gosper's hashlife algorithm
  ☆38Updated 6 months ago
• wyager / HaSKI
  Cλash/Haskell FPGA-based SKI calculus evaluator
  ☆49Updated 9 years ago
• mzucker / flow_solver
  Fast automated solver for Flow Free in a single C or Python file.
  ☆49Updated 2 years ago
• ngzhian / ski
  SKI combinators
  ☆54Updated 7 years ago
• stedolan / counterexamples
  Counterexamples in Type Systems
  ☆396Updated last year
• mlochbaum / ILanguage
  An interpreter for a J-inspired language
  ☆90Updated last year
• SReichelt / slate
  The Slate Interactive Theorem Prover
  ☆23Updated 2 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆114Updated 2 years ago
• cslarsen / busy-beaver
  Calculates the uncomputable Busy Beaver Σ-function
  ☆10Updated 8 years ago
• peterferrie / brainfuck
  compiler for x86 in 100 bytes
  ☆69Updated 10 years ago
• dannypsnl / write-a-programming-language
  How to make a new language(and why we shouldn't?)
  ☆40Updated last year
• cicada-lang / cicada-solo
  Cicada Language (solo version)
  ☆128Updated 4 months ago