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

• jamesma100 / randomart
  random art generator
  ☆24Updated last month
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆38Updated this week
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆19Updated 2 weeks ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆20Updated 2 years ago
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆59Updated 8 months ago
• barry-jay-personal / typed_tree_calculus
  types for various combinatory systems, especialy tree calculi
  ☆17Updated 5 months ago
• bntre / visual-lambda
  Visual environment for manipulation the lambda calculus expressions
  ☆25Updated last year
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last month
• 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
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆52Updated last year
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆62Updated 10 months ago
• Hazelfire / pedant
  A math language for dimensional analysis
  ☆23Updated 2 years ago
• curry-packages / pflp
  Probabilistic Functional Logic Programming
  ☆16Updated 3 months ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆34Updated 5 months ago
• 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.
  ☆56Updated 4 months ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 8 months ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆72Updated last week
• interregna / arraylanguage-companies
  A List of companies that use Array Languages (J, K, APL, q)
  ☆98Updated last year
• rzrn / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆16Updated last year
• vmchale / apple
  Apple array system
  ☆66Updated last week
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆64Updated last year
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆62Updated 3 weeks ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year
• brismu / brismu
  A relational interpretation of Lojban
  ☆34Updated last week
• jedlimlx / Cellular-Automaton-Viewer
  A Cellular Automaton Simulator written in Kotlin / Java
  ☆9Updated 9 months ago
• chrisdone-archive / inflex
  Pure, statically typed, content-addressable, programming language for spreadsheet use
  ☆28Updated 2 years ago
• m4lvin / tablean
  Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.
  ☆13Updated last year
• madvorak / lean4-cheatsheet
  Printable (A4) overview of tactics in Lean 4 for beginners
  ☆29Updated 9 months ago
• djvelleman / STG4
  Set Theory Game
  ☆17Updated 4 months ago