MathCAT: Math Capable Assistive Technology

is a library that supports conversion of MathML to:

Speech strings with embedded speech engine commands
Braille (Nemeth, UEB Technical, and eventually other braille math codes)
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)

For more information, see the full documentation.