Любая вычислительная программа записывается с использованием некой формальной нотации. Чаще всего, такой нотацией является язык программирования высокого уровня. Но с тем же успехом это может быть и запись машинных кодов в виде последовательности чисел, блок-схема, машина Тьюринга, нормальные алгорифмы Маркова...
Можно прямо в машинных кодах писать программу. Тогда она будет без языка программирования. Но и заточена будет только под какую-то одну архитектуру железа, а под другую придется переделывать весь код. Еще есть всякие графические среды разработки, где не надо ничего кодить, надо только мышкой блоки таскать. Но там ниче серьезного не напрогаешь