For MIRA an automatic generated Doxygen documentation is available. It contains information for end-users, for application-designers and for developers.
Click here: http://www.mira-project.org/MIRA-doc/index.html, to open the documentation of the latest release in a new window.
The documentation of the current development trunk is available here: http://www.mira-project.org/MIRA-doc-devel/index.html.