Magma est un langage de programmation conçu pour faciliter la construction d'algorithmes algébriques. Il est particulièrement bien adapté à l'algèbre computationnelle, à la théorie des nombres et à la combinatoire. Magma est développé par une équipe internationale de mathématiciens et d'informaticiens.
Magma est un langage fortement typé avec un système de types expressif. Il dispose d'un compilateur sophistiqué qui optimise le code Magma en termes de performances. Magma possède une interface bien développée avec d'autres langages, permettant d'appeler le code Magma à partir d'autres programmes.
Magma est un projet libre et open source, publié sous la licence publique générale GNU.