Alternatives and similar repositories for game-of-life-book

Users that are interested in game-of-life-book are comparing it to the libraries listed below

• bntre / visual-lambda
  Visual environment for manipulation the lambda calculus expressions
  ☆25Updated last year
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆51Updated last year
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆18Updated 4 years ago
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last week
• secwang / ngnkcart
  ☆15Updated last year
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆140Updated 2 months ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆37Updated last year
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆18Updated last week
• jamesma100 / randomart
  random art generator for cryptographic keys
  ☆24Updated 3 weeks ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 7 months ago
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated last year
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆59Updated this week
• interregna / arraylanguage-companies
  A List of companies that use Array Languages (J, K, APL, q)
  ☆98Updated last year
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 5 years ago
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆90Updated 3 years ago
• jayfoad / aoc2020apl
  Advent of Code 2020 solutions in Dyalog APL
  ☆23Updated 4 years ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated 4 months ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated 2 years ago
• jayfoad / aoc2022apl
  Advent of Code 2022 solutions in Dyalog APL
  ☆23Updated 2 years ago
• xpqz / kbook
  [WIP] A book on the k language.
  ☆46Updated 2 years ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆71Updated last week
• evinism / lambda-explorer
  Tutorial / REPL for the lambda calculus
  ☆65Updated 7 months ago
• quinn-dougherty / ladr
  linear algebra done right in coq
  ☆10Updated 4 years ago
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• dmadisetti / sona.js
  a simple language with a 1000 character interpreter inspired by toki pona
  ☆79Updated 3 years ago
• mlochbaum / bqn-libs
  Informal collection of BQN utilities
  ☆57Updated last week
• rodrigogiraoserrao / RGSPL
  A Python interpreter for APL based off of the LSBASI series.
  ☆16Updated 4 years ago
• mbuliga / quinegraphs
  Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
  ☆22Updated 2 years ago
• vendethiel / trying.apl
  APL is the greatest language ever
  ☆69Updated 5 months ago