turing-completeness topic

A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.

sdleffler

Design a turing-complete marble run with ascii/unicode art

aaronjanse

psibi

A minimal, Turing-complete, Domain-Specific Language; simple text editor with an interpreter, Abstract Syntax Tree and reduced Control Flow Graph graphical generator.

LouisJenkinsCS