Turing完全であるものの一覧
マジック・ザ・ギャザリング
A. Churchill, S. Biderman, A. Herrick, "Magic: The Gathering is Turing Complete"
Java
のジェネリック記法
Java Generics are Turing Complete
TypeScriptの型システム
Turing Completeness of TypeScript Type System
参照.
Wolframの2状態3記号Turingマシン