8000
Skip to content
#

conway-game-of-life

Here are 19 public repositories matching this topic...

A formally-verified Conway's Game of Life engine in which geometry may render the automaton's history but never author it. Exhaustive gates (512/512 local rules; 65,536/65,536 worlds vs an independent oracle) plus a machine-checked Idris2 constitution. A proven foundation — not yet a playable game.

  • Updated Aug 18, 2026
  • Shell

The Game of Life, also known as Conway's Game of Life, (sometimes abbreviated as CGoL) or simply Life, is a cellular automaton devised by the British mathematician John Horton Conway in 1970. It is a zero-player game, meaning that its evolution is determined by its initial state.

  • Updated Aug 10, 2026
  • Python

Improve this page

Add a description, image, and links to the conway-game-of-life topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the conway-game-of-life topic, visit your repo's landing page and select "manage topics."

Learn more

0