Magma

Magma je programovací jazyk určený k usnadnění konstrukce algebraických algoritmů. Hodí se zejména pro výpočetní algebru, teorii čísel a kombinatoriku. Magmu vyvíjí mezinárodní tým matematiků a počítačových vědců. Magma je silně typovaný jazyk s expresivním typovým systémem. Má propracovaný překladač, který optimalizuje kód Magmy s ohledem na výkon. Magma má dobře propracované rozhraní s jinými jazyky, které umožňuje volat kód Magmy z jiných programů. Magma je svobodný projekt s otevřeným zdrojovým kódem, vydaný pod licencí GNU General Public License.