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

• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆67Updated 6 months ago
• jayfoad / aoc2020apl
  Advent of Code 2020 solutions in Dyalog APL
  ☆23Updated 5 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆41Updated 7 months ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆167Updated 6 months ago
• interregna / arraylanguage-companies
  A List of companies that use Array Languages (J, K, APL, q)
  ☆100Updated last year
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆91Updated 4 years ago
• abrudz / dyalog-apl-extended
  Dyalog APL Extended
  ☆28Updated last year
• benediktahrens / CT4P
  ☆36Updated 3 weeks ago
• secwang / ngnkcart
  ☆15Updated 2 years ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆26Updated 5 years ago
• vmchale / apple
  Apple array system
  ☆69Updated last month
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆162Updated 7 years ago
• LogicalAtomist / principia-rewrite
  The Principia Rewrite
  ☆229Updated 2 months ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 6 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆54Updated last year
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆66Updated last year
• mmasdeu / topologygame
  Learn Lean and topology
  ☆26Updated 2 years ago
• evinism / lambda-explorer
  Tutorial / REPL for the lambda calculus
  ☆67Updated last year
• jonathanichikawa / for-all-x
  Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa
  ☆20Updated 9 months ago
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated 2 years ago
• madnight / asciichart
  ASCII line charts in terminal ╭┈╯ Haskell port of kroitor/asciichart
  ☆30Updated 3 months ago
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆18Updated 5 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆77Updated last year
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆79Updated 4 years ago
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆117Updated last month
• prathyvsh / history-of-logic
  A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
  ☆60Updated 11 months ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆140Updated last month
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆74Updated 5 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆196Updated last week