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 clos
   http://www.risc.uni-linz.ac.at/software/casa/

INSTANTON  
   Mathematica program which calculates instanton numbers and other data for Calabi-Yau complete intersections in toric varieties by A. Klemm.
   http://www.th.physik.uni-bonn.de/th/People/netah/cy/codes/inst.m

surf  
   A tool to visualize real algebraic geometry: plane algebraic curves, algebraic surfaces and hyperplane sections of surfaces.
   http://surf.sourceforge.net/

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
   http://www.math.lsu.edu/~wamelen/genus2.html

TESS  
   C code which computes the Hodge number of complete intersection Calabi-Yau manifolds embedded in products of ordinary projective spaces.
   http://www.th.physik.uni-bonn.de/th/People/netah/cy/codes/tess.html

Fundamental Domains  
   A Java 1.1.1 applet for drawing fundamental domains for congruence subgroups acting on the upper-half plane. By Helena Verrill.
   http://hverrill.net/fundomain/

Ganith  
   Algebraic geometry tookit for the computation and visualization of algebraic equations. FTP download.
   http://www.ticam.utexas.edu/CCV/projects/shastra/toolkits/ganith.html

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.
   http://www.math.fsu.edu/~hoeij/compalg/IntBasis/

The algcurves Package in Maple  
   Examples, test files, plots, documentation.
   http://www.math.fsu.edu/~hoeij/compalg/algcurves.html

PAFF  
   Package for Algebraic Function Fields in one variable. Based on Axiom. Source code is available.
   http://www-rocq.inria.fr/codes/Gaetan.Hache/PAFF.html

Magma Computational Algebra System Home Page  
   A Computational Algebra system for algebra, number theory and geometry.
   http://magma.maths.usyd.edu.au/

Hyperelliptic Curves MAGMA Package  
   Magma package files by Michael Stoll.
   http://www.faculty.iu-bremen.de/stoll/magma/