nathanieljohnston / game-of-life-bookLinks
A textbook for Conway's Game of Life.
☆35Updated 3 years ago
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
Sorting:
- Advent of Code 2020 solutions in Dyalog APL☆23Updated 4 years ago
- A sudoku game where you have to prove that your deductions are valid☆115Updated 2 years ago
- Tim Button's open textbook on set theory☆39Updated last month
- The Brown Benchmark for Table Types (B2T2)☆64Updated 2 weeks ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 5 years ago
- Toki Pona is a constructed, minimal language. This parser based on swi-prolog and definite clause grammars (dcg) and supports spelling, g…☆51Updated 9 months ago
- Apple array system☆67Updated this week
- ☆15Updated last year
- ☆34Updated last week
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- types for various combinatory systems, especialy tree calculi☆19Updated 6 months ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Updated 9 months ago
- Tutorial / REPL for the lambda calculus☆66Updated 10 months ago
- tool for creating and sharing annotations, using github for storage and social network☆90Updated 3 years ago
- Pure Haskell commonmark parsing library, designed to be flexible and extensible☆142Updated 4 months ago
- Andrej Bauer's blog "Mathematics and Computation"☆53Updated last year
- A solver for halting problem of Brainfuck programs☆17Updated 5 years ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆35Updated 7 months ago
- A relational interpretation of Lojban☆34Updated 2 weeks ago
- Functional, expression-oriented data processing language☆89Updated last month
- A Jupyter kernel for Dyalog APL☆73Updated last week
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆63Updated 9 months ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆56Updated 5 months ago
- Functional teaching language for use in a discrete mathematics course☆170Updated last month
- Catalog of visual lambda calculi☆148Updated 3 weeks ago
- ☆34Updated last month
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆64Updated this week
- The Principia Rewrite☆224Updated 6 months ago
- A List of companies that use Array Languages (J, K, APL, q)☆99Updated last year
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆60Updated last month