“A Turing tarpit is a language that aims for Turing-completeness in an arbitrarily small number of linguistic elements — ideally, as few as possible.”

Examples include Binary Combinatory Logic, Brainfuck, Iota, Thue, and Wierd; more at esolangs.org