nathanieljohnston / game-of-life-book

Related projects ⓘ

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

• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆54Updated 3 weeks ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆48Updated 9 months ago
• mlochbaum / BQNoise
  Audio library for BQN
  ☆16Updated last year
• vmchale / apple
  Apple array system
  ☆54Updated this week
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆17Updated 3 years ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 4 years ago
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆37Updated this week
• rodrigogiraoserrao / RGSPL
  A Python interpreter for APL based off of the LSBASI series.
  ☆16Updated 3 years ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆76Updated 3 weeks ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆97Updated last year
• benediktahrens / CT4P
  ☆31Updated this week
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆66Updated this week
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆50Updated 4 years ago
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆39Updated 2 years ago
• tetrapharmakon / yoneda-in-tongues
  Yoneda lemma in every known language
  ☆17Updated last year
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆89Updated 6 years ago
• alpha-convert / pacman
  A proof that Idris is pacman complete
  ☆8Updated 7 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆113Updated 2 years ago
• jayfoad / aoc2020apl
  Advent of Code 2020 solutions in Dyalog APL
  ☆22Updated 3 years ago
• Hazelfire / pedant
  A math language for dimensional analysis
  ☆22Updated last year
• vmchale / pybqn
  BQN↔NumPy bridge
  ☆18Updated 2 weeks ago
• MostAwesomeDude / brismu
  A relational interpretation of Lojban
  ☆32Updated last week
• markus1189 / dyalog-nixos
  Run dyalog APL and RIDE on nixos
  ☆21Updated 5 months ago
• RocketRace / hoopy
  Inline Haskell inside your Python code
  ☆25Updated 3 months ago
• mlochbaum / bqn-libs
  Informal collection of BQN utilities
  ☆51Updated this week
• StavromulaBeta / emoji-apl
  Like APL, but with emojis
  ☆16Updated 2 years ago
• secwang / ngnkcart
  ☆16Updated last year
• bntre / visual-lambda
  Visual environment for manipulation the lambda calculus expressions
  ☆19Updated 10 months ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆30Updated last year
• vkostyukov / quipu
  Quipu Programming Language
  ☆18Updated 11 years ago