Alternatives and similar repositories for HashLife

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

• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆134Updated 7 years ago
• cicada-lang / cicada-solo
  Cicada Language (solo version)
  ☆128Updated 5 months ago
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆93Updated 5 months ago
• felko / ton-lang
  A visual programming language, evaluated as a cellular automaton
  ☆64Updated last year
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated 2 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 10 months ago
• Timwi / Funciton
  Funciton (pronounced: /ˈfʌŋkɪtɒn/) is a two-dimensional, declarative, functional, esoteric programming language. This is an interpreter a…
  ☆42Updated 4 months ago
• wh5a / Algorithm-W-Step-By-Step
  Classic Algorithm W for type inference.
  ☆253Updated 15 years ago
• flannelhead / blackstar
  A black hole raytracer written in Haskell
  ☆176Updated 3 years ago
• rottytooth / Entropy
  Compiler for Entropy, a programming language where all data is in a constant state of decay
  ☆60Updated 3 weeks ago
• ngzhian / ski
  SKI combinators
  ☆55Updated 8 years ago
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆196Updated 3 weeks ago
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆182Updated 4 years ago
• jbeder / fractran
  Fractran interpreter in Fractran
  ☆34Updated 10 years ago
• benjojo / c2bf
  C2BF is a C compiler targeting brainfuck, written by the twisted mind of Gregor Richards.
  ☆35Updated 2 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆299Updated 2 months 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
• cicada-lang / inet-cute
  An implementation of interaction nets in JS.
  ☆132Updated last week
• ccz181078 / Coq-BB5
  ☆307Updated 2 months ago
• wyager / HaSKI
  Cλash/Haskell FPGA-based SKI calculus evaluator
  ☆49Updated 9 years ago
• matslina / bfoptimization
  "Research" on how to best optimize brainfuck code.
  ☆72Updated 2 years ago
• dannypsnl / write-a-programming-language
  How to make a new language(and why we shouldn't?)
  ☆40Updated last year
• chrisdone-archive / z
  A strict, impure, curried, partially applied programming language with rather peculiar syntax.
  ☆281Updated 11 years ago
• kaya3 / MJr
  A probabilistic programming language based on pattern-rewriting
  ☆81Updated last year
• chorasimilarity / chemlambda-gui
  Life like molecular computers with artificial chemistry.
  ☆136Updated 2 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆111Updated 11 months ago
• vendethiel / trying.apl
  APL is the greatest language ever
  ☆69Updated 5 months ago
• mlochbaum / ILanguage
  An interpreter for a J-inspired language
  ☆91Updated last year
• brianquinlan / brainfuck-jit
  A simple Brainfuck JIT written as a learning exercise.
  ☆16Updated 5 years ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆107Updated last month