TenDRA is a compiler framework for architecture neutral representation of compiled programs. It provides a C and C++ front-end. Original development was undertaken under Crown Copyright; current development is BSD licenced. It's mostly written in C.

TenDRA is based on the following principle:

If a program is written to conform to an abstract API specification, then that program will be portable to any machine which implements the API specification correctly.

In the meantime:
% svn co svn://svn.tendra.org/trunk tendra

irc.freenode.org #tendra

User guides
Academic papers
Technical reports

Issues on Github