A textbook for Conway's Game of Life.
☆35Mar 19, 2022Updated 4 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Cellular Automaton Simulator written in Kotlin / Java☆11Sep 16, 2024Updated last year
- [alpha!] [dormant!] An advanced cellular-automaton-specification language that transpiles to Golly's.☆17Oct 9, 2024Updated last year
- Cellular automata search program☆26Jul 7, 2022Updated 4 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 8 years ago
- ☆23Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆70Sep 1, 2025Updated 11 months ago
- Haskell implementation of open games☆13Apr 20, 2016Updated 10 years ago
- Detect SQL migration issues quickly and easily☆35Mar 9, 2026Updated 5 months ago
- Prototype implementations of systems based on setoid type theory☆66Nov 29, 2020Updated 5 years ago
- A "Cellular" Viewer for Conwey's Game of Life☆17Jan 3, 2014Updated 12 years ago
- bringing back jemdoc☆10Feb 9, 2023Updated 3 years ago
- Miscellaneous R functions and aliases☆10Mar 30, 2026Updated 4 months ago
- A place for all my dotfiles and each one in its place☆10Updated this week
- Higher Algebra with Opetopic Types☆16Mar 30, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- The collected works of R. F. C. Walters☆13Nov 12, 2024Updated last year
- Linear Types, Symmetric Monoidal Categories, and Tensors☆13Oct 14, 2025Updated 9 months ago
- A fast, flexible, and feature-rich interactive multidimensional cellular automaton simulator written in Rust☆24Jan 9, 2022Updated 4 years ago
- ☆16Oct 31, 2023Updated 2 years ago
- AutoCorrect extension for PopClip☆12Jul 12, 2024Updated 2 years ago
- ☆114Feb 23, 2023Updated 3 years ago
- Example Fabulous app that uses MSAL to authenticate a user on Azure Active Directory☆11Dec 8, 2022Updated 3 years ago
- NanoVG Haskell bindings☆22May 17, 2023Updated 3 years ago
- Convolutional encoder and a Viterbi decoder written in Golang☆16Sep 27, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Hacking synthetic Tait computability into Agda. Example: canonicity for MLTT.☆20Feb 26, 2021Updated 5 years ago
- Shorthand column notations for tables in Typst.☆18Jul 9, 2026Updated last month
- Interpreter for λ̅μμ̃-calculus of Herbelin and Curien (for educational purposes).☆20Oct 8, 2020Updated 5 years ago
- Intrinsic Verification of Formal Grammar Theory☆28Aug 4, 2026Updated last week
- Delimited Continuations for JavaScript☆35Mar 1, 2024Updated 2 years ago
- ☆15May 20, 2024Updated 2 years ago
- Package Manager Console scripts for DbUp☆11Aug 16, 2018Updated 7 years ago
- A personal library, formalizing cohesive homotopy type theory in Agda.☆13Apr 30, 2019Updated 7 years ago
- Output gemini formatted documents from org-mode☆13Mar 13, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆12Feb 23, 2025Updated last year
- Aerolith 2.0 - Aerolith for the web. A word study site - study for Scrabble, Boggle, Words With Frentz, etc.☆40Aug 4, 2026Updated last week
- ☆23Aug 30, 2017Updated 8 years ago
- Render chemical structures from SMILES strings into PNG or SVG format using Ketcher and Indigo Service.☆13Feb 4, 2025Updated last year
- Makes rustc's exhaustiveness checker solve SAT problems☆16Jul 8, 2021Updated 5 years ago
- It's easy to write nextjs App with Fable☆12Oct 25, 2023Updated 2 years ago
- [WIP] Optics via the profunctor representation theorem☆19Dec 18, 2019Updated 6 years ago