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

• secwang / ngnkcart
  ☆15Updated last year
• vmchale / apple
  Apple array system
  ☆60Updated this week
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated 7 months ago
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆83Updated 2 weeks ago
• dzaima / aoc
  My Advent of Code solutions
  ☆22Updated last month
• interregna / arraylanguage-companies
  A List of companies that use Array Languages (J, K, APL, q)
  ☆95Updated 10 months ago
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆57Updated 3 months ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated last year
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆50Updated 4 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆51Updated 11 months ago
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆39Updated 3 years ago
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆11Updated this week
• tetrapharmakon / yoneda-in-tongues
  Yoneda lemma in every known language
  ☆17Updated last year
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆17Updated last month
• curry-packages / pflp
  Probabilistic Functional Logic Programming
  ☆15Updated 3 months ago
• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 6 years ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆28Updated last year
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆42Updated this week
• b-mehta / combinatorics
  ☆22Updated 2 years ago
• chrisreade / PenroseKiteDart
  Haskell Diagrams for Penrose Kite and Dart non-periodic tilings
  ☆13Updated this week
• forked-from-1kasper / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆15Updated 7 months ago
• Omnikar / uiua-math
  Library of math functions for the Uiua programming language
  ☆23Updated this week
• mlochbaum / bqn-libs
  Informal collection of BQN utilities
  ☆56Updated 2 months ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆66Updated 3 weeks ago
• sfultong / stand-in-language
  a simple total pure functional language, eventually to have powerful static checking and optimization
  ☆33Updated last month
• astump / cedille-core-spec
  Specification of the Cedille Core language
  ☆29Updated 4 years ago
• markus1189 / dyalog-nixos
  Run dyalog APL and RIDE on nixos
  ☆21Updated 8 months ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• cole-k / call-by-push-block
  ⛳ Sokoban game in 10 lines of Haskell
  ☆27Updated last year