CASA 2.3 - Computer Algebra Software for constructive Algebraic geometry. Designed for performing computations and reasoning about geometric objects in classical algebraic geometry, in particular affine and projective algebraic geometry over an algebraically closed field of characteristic 0.
Computing with the Jacobian of a Genus 2 Curve - Pari/GP and Mathematica code to: Compute an equation for a genus 2 curve with a given Jacobian; Move points between the analytic Jacobian (as a torus) and the algebraic Jacobian (as a variety); Work with a fundamental domain for 2 dimensional Siegel upper half-space.
Ganith - Algebraic geometry tookit for the computation and visualization of algebraic equations. FTP download.
INSTANTON - Mathematica program which calculates instanton numbers and other data for Calabi-Yau complete intersections in toric varieties by A. Klemm.
IntBasis - Algorithms coded in Maple for computing with algebraic curves. The main algorithm computes an integral basis of an algebraic function field using Puiseux expansions.