The Magma name appears to require disambiguation:
His Magma programming language (https://github.com/blainehansen/magma):
The goal of this project is to: create a programming language and surrounding education/tooling ecosystem capable of making formal verification and provably correct software mainstream and normal among working software engineers.
Magma computer algebra system (https://en.wikipedia.org/wiki/Magma_(computer_algebra_system...):
Magma is a computer algebra system designed to solve problems in algebra, number theory, geometry and combinatorics. It is named after the algebraic structure magma. It runs on Unix-like operating systems, as well as Windows.