Все Тьюринг-полные языки (на которых можно написать любую вычислительную функцию), даже CSS (стиль каскадных таблиц, ибо там есть переменные), но не HTML (это язык разметки, а не программирования), а также в число языков программирования не входят такие чисто декоративные "языки", вроде YAML, JSON, TOML.