Alma-0 est un langage de programmation créé par le chercheur Massimo Marchiori. Il est basé sur la théorie de l'algèbre computationnelle, qui est une branche des mathématiques qui traite de la manipulation des symboles. Alma-0 est conçu pour être un langage simple et élégant, facile à apprendre et à utiliser.