MathCAT: Math Capable Assistive Technology

is a library that supports conversion of MathML to:

Speech strings (in several languages) with embedded speech engine commands
Braille (Nemeth, UEB Technical, CMU, and many others)
Navigation of math (in multiple ways including overviews)

There are four related projects that make use of MathCAT:

MathCATDemo -- an online demonstration of some of what can be done with MathCAT
A python interface for MathCAT -- used by a MathCAT NVDA add-on.
A C/C++ interface for MathCAT
A Java interface for MathCAT (thanks to Michael Whapples for working on that)

MathCAT is used in many assistive technologies including NVDA and JAWS.

For more information, see the full documentation.