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
- Cellular automata search program☆26Jul 7, 2022Updated 4 years ago
- A "Cellular" Viewer for Conwey's Game of Life☆17Jan 3, 2014Updated 12 years ago
- ☆16May 24, 2018Updated 8 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆70Sep 1, 2025Updated 10 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Prototype implementations of systems based on setoid type theory☆66Nov 29, 2020Updated 5 years ago
- bringing back jemdoc☆10Feb 9, 2023Updated 3 years ago
- Haskell graph library☆10Dec 18, 2017Updated 8 years ago
- The collected works of R. F. C. Walters☆13Nov 12, 2024Updated last year
- Yet another Vulkan based rendering engine.☆11Jan 8, 2019Updated 7 years ago
- Linear Types, Symmetric Monoidal Categories, and Tensors☆13Oct 14, 2025Updated 9 months ago
- The websocket server for liwords☆25Sep 3, 2025Updated 10 months ago
- A fast, flexible, and feature-rich interactive multidimensional cellular automaton simulator written in Rust☆24Jan 9, 2022Updated 4 years ago
- ☆15Oct 31, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆114Feb 23, 2023Updated 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
- Common English Lexicon (CEL), a word list with common words, for word games☆44Jun 16, 2022Updated 4 years ago
- Intrinsic Verification of Formal Grammar Theory☆28May 20, 2026Updated 2 months ago
- Delimited Continuations for JavaScript☆35Mar 1, 2024Updated 2 years ago
- Generic batches for go☆13Dec 5, 2021Updated 4 years ago
- Latex package to print spectral sequence diagrams using pgf/tikz.☆12Jan 18, 2026Updated 6 months ago
- A personal library, formalizing cohesive homotopy type theory in Agda.☆13Apr 30, 2019Updated 7 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.
- A GeoJson Processing Toolkit☆14Jan 15, 2025Updated last year
- An educational SAT solver written in Rust☆13Sep 23, 2023Updated 2 years ago
- Aerolith 2.0 - Aerolith for the web. A word study site - study for Scrabble, Boggle, Words With Frentz, etc.☆40Jun 9, 2026Updated last month
- ☆23Aug 30, 2017Updated 8 years ago
- Makes rustc's exhaustiveness checker solve SAT problems☆16Jul 8, 2021Updated 5 years ago
- A simple term-rewriting interpreter that displays intermediate expressions.☆15Jun 2, 2025Updated last year
- [WIP] Optics via the profunctor representation theorem☆19Dec 18, 2019Updated 6 years ago
- An approach to higher algebra in type theory☆23May 12, 2020Updated 6 years ago
- A Teeny Type Theory☆27Jun 4, 2022Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆14Sep 7, 2025Updated 10 months ago
- A simple multi-core task scheduler that works well with promises. Great for doing parallel data processing.☆16Jan 24, 2026Updated 5 months ago
- A toolkit for higher-dimensional diagram rewriting.☆21Sep 15, 2022Updated 3 years ago
- A 2d "programming language" based around triangles☆11Sep 23, 2023Updated 2 years ago
- Solve hard constraints easily with Rust.☆15Jul 17, 2022Updated 4 years ago
- A Haskell probabilistic programming library.☆23May 28, 2026Updated last month
- A collection of Python bulk import scripts for various data sources☆16Feb 28, 2022Updated 4 years ago