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:
- The Brown Benchmark for Table Types (B2T2)☆64Updated 4 months ago
- ASCII line charts in terminal ╭┈╯ Haskell port of kroitor/asciichart☆30Updated last month
- ☆36Updated 2 months ago
- tool for creating and sharing annotations, using github for storage and social network☆91Updated 3 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 6 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 last year
- Catalog of visual lambda calculi☆161Updated 4 months ago
- Haskell binding for PADS☆20Updated 6 years ago
- bi-directional tangle daemon for literate programming☆94Updated 2 years ago
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Updated 2 years ago
- Render hierarchical git repositories into HTML☆74Updated 11 months ago
- *cheep cheep shriek caw*☆97Updated 2 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆26Updated 5 years ago
- A relational interpretation of Lojban☆34Updated 4 months ago
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- A data visualization library for Racket.☆38Updated last year
- A List of companies that use Array Languages (J, K, APL, q)☆100Updated last year
- Apple array system☆68Updated last week
- Advent of Code 2020 solutions in Dyalog APL☆23Updated 4 years ago
- Dyalog APL Extended☆28Updated last year
- Programming with pure lambda calculus☆133Updated this week
- ☆15Updated 2 years ago
- Functional, expression-oriented data processing language☆90Updated 2 weeks ago
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆67Updated 2 months ago
- A native and a cross platform guide for BQN array programming language☆58Updated last year
- functional spreadsheet programming☆23Updated 8 months ago
- Tim Button's open textbook on set theory☆40Updated 5 months ago
- Library of math functions for the Uiua programming language☆31Updated 3 weeks ago
- My Advent of Code solutions☆23Updated this week
- A semantic Extension of TeX/LaTeX☆54Updated last month