libefgy is a set of C++ headers containing lots of templates loosely related to maths. The headers include templates for fractional arithmetic, big integers (and thus "big fractions"), calculating π, e, and some calculations with those (for trigonometrics), matrix manipulations, tuples, polar and Euclidian spaces in arbitrary dimensions, (perspective) projections, colour space manipulations in RGB and HSL, and assorted other things.
WIMS (WWW Interactive Mathematics Server) is a CGI Web application designed to host interactive mathematical educational activities such as exercises, computational math, and graphing tools. It features automatic score processing with strong anti-cheating mechanisms, virtual classes allowing teachers to guide/control student works, online exercise creation, animated graphics, a message board allowing inline mathematical formulas, and more. It can also be easily used for education within other disciplines.
SciDAVis is an interactive application aimed at data analysis and publication-quality plotting. It combines a shallow learning curve and an intuitive, easy-to-use graphical user interface with powerful features such as scriptability and extensibility. It is similar in its field of application to proprietary Windows applications like Origin and SigmaPlot, as well as free applications like QtiPlot, Labplot, and Gnuplot. What sets SciDAVis apart from the above is its emphasis on providing a friendly and open environment (in the software as well as the project) for new and experienced users alike, and particularly in providing good documentation on all levels.
sMArTH is an equation editor built on open Web standards. The editor itself uses a SVG interface and the application logic is implemented in ECMAScript using the DOM. Both MathML and LaTeX are supported as exporting formats in addition to the SVG format. The most important mathematical content from both LaTeX and MathML is already provided, and this should cover the need of the majority of users. The graphical user interface allows even the most complex equations to be built with simple "Point and Click" techniques instead of writing convoluted typesetting code.
FEniCS is a collection of free software for automated, efficient solution of differential equations. It has an extensive list of features, including automated solution of variational problems, automated error control and adaptivity, a comprehensive library of finite elements, high performance linear algebra, and many more. It is organized as a collection of interoperable components, including the problem-solving environment DOLFIN, the form compiler FFC, the finite element tabulator FIAT, the just-in-time compiler Instant, the code generation interface UFC, the form language UFL, and a range of additional components.