Singular is a computer algebra system specifically designed for working with algebraic curves and surfaces.

Macaulay2 is a powerful computer algebra system that specializes in algebraic geometry and commutative algebra.

SageMath is a comprehensive open-source mathematics software system that includes a wide range of tools for algebraic geometry.

Sympy is a Python library that provides a user-friendly interface and a large collection of pre-defined mathematical functions, including those for algebraic geometry.

Polymake is a software package specifically designed for working with toric varieties and polytopes.

PHCpack is a library that specializes in computational algebraic geometry, with a focus on numerical methods.

The Stacks Project is a collaborative effort to develop a comprehensive software package for working with algebraic stacks.

Galois is a library that specializes in algebraic geometry over finite fields.

Tropical Geometry Software is a library that provides tools for working with tropical geometry.

Characteristic p Methods is a library that specializes in algebraic geometry in positive characteristic.

Motivic Cohomology Library is a library that provides tools for working with motivic cohomology.

Categorical Algebraic Geometry is a library that specializes in algebraic geometry in the context of category theory.

Non-Commutative Algebraic Geometry Library is a library that provides tools for working with non-commutative algebraic geometry.

Representation Theory Methods is a library that specializes in algebraic geometry in the context of representation theory.

Birational Geometry Library is a library that provides tools for working with birational geometry.