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)
  ☆64Updated last month
• vmchale / apple
  Apple array system
  ☆67Updated 2 weeks ago
• jamesma100 / randomart
  generate art from a hash
  ☆24Updated 2 months ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆19Updated 6 years ago
• benediktahrens / CT4P
  ☆35Updated 2 weeks ago
• interregna / arraylanguage-companies
  A List of companies that use Array Languages (J, K, APL, q)
  ☆100Updated last year
• ralsei / graphite
  A data visualization library for Racket.
  ☆38Updated 10 months ago
• jayfoad / aoc2020apl
  Advent of Code 2020 solutions in Dyalog APL
  ☆23Updated 4 years ago
• secwang / ngnkcart
  ☆15Updated last year
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated 2 years ago
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆91Updated 3 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆77Updated 5 years ago
• vmchale / pybqn
  BQN↔NumPy bridge
  ☆21Updated 6 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.
  ☆57Updated 6 months ago
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆90Updated 2 months ago
• UoYCS-plasma / GP2
  The rule-based graph programming language GP 2
  ☆68Updated last year
• brismu / brismu
  A relational interpretation of Lojban
  ☆34Updated 2 months ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆39Updated 2 months ago
• evinism / lambda-explorer
  Tutorial / REPL for the lambda calculus
  ☆66Updated 11 months ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆147Updated 7 years ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆81Updated this week
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆64Updated 11 months ago
• xpqz / kbook
  [WIP] A book on the k language.
  ☆48Updated 3 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆116Updated 3 years ago
• dzaima / aoc
  My Advent of Code solutions
  ☆22Updated 8 months ago
• b4er / recalc
  functional spreadsheet programming
  ☆19Updated 5 months ago
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated last year
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 5 years ago
• chrisdone-archive / inflex
  Pure, statically typed, content-addressable, programming language for spreadsheet use
  ☆28Updated 2 years ago