The "X is Turing-complete" Iceberg

Star

• Turing machine
• Untyped lambda calculus
• SKI combinator calculus

• Post-Turing machine
• Multitape Turing machine
• Conway's Game of Life
• C++ templates
• Java generics
• TypeScript type system
• Mechanical Turing machine in wood

• Rule 110
• Iota and Jot
• Langton's ant
• Dominos
• x86 mov
• Wang tiles
• mod_rewrite
• Microsoft Excel
• Infinite-grid Minesweeper
• Infinite-grid Tetris

• HTML5 + CSS3
• printf
• x86 MMU
• Minecraft
• FRACTRAN
• Diophantine equation
• OpenType font

• Magic: The Gathering
• Microsoft PowerPoint
• Musical notation
• Mictyris guinotae
• Belousov-Zhabotinsky chemical reaction
• Black hole