nathanieljohnston / game-of-life-book
A textbook for Conway's Game of Life.
☆32Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for game-of-life-book
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 4 years ago
- Learn Lean and topology☆20Updated last year
- A collection of documents and writings on efficient programming in array-oriented languages akin to APL.☆9Updated 11 months ago
- Animations of lambda term reduction sequences☆89Updated 6 years ago
- Tim Button's open textbook on set theory☆30Updated last year
- ☆16Updated last year
- A place to put our 2018 Xena project UROP thoughts and programs.☆24Updated 4 years ago
- A List of companies that use Array Languages (J, K, APL, q)☆93Updated 8 months ago
- Informal collection of BQN utilities☆51Updated last week
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆68Updated last month
- various toys in j☆12Updated 2 years ago
- Inline Haskell inside your Python code☆25Updated last week
- Like APL, but with emojis☆16Updated 2 years ago
- Advent of Code 2020 solutions in Dyalog APL☆22Updated 3 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 5 months ago
- My unofficial picat http://picat-lang.org/ repository☆27Updated 10 months ago
- Audio library for BQN☆17Updated last year
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Updated last year
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆38Updated last week
- The rule-based graph programming language GP 2☆66Updated 5 months ago
- Visual environment for manipulation the lambda calculus expressions☆19Updated 10 months ago
- A formal consistency proof of Quine's set theory New Foundations☆66Updated this week
- My Advent of Code solutions☆22Updated 10 months ago
- Very controlled natural language tactics for Lean☆61Updated 9 months ago
- Metamath verifier in Python☆34Updated 7 months ago
- ⛳ Sokoban game in 10 lines of Haskell☆27Updated last year
- [WIP] A book on the k language.☆34Updated 2 years ago
- Apple array system☆54Updated this week
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated last week
- ☆64Updated 2 years ago