An Interace Description Language (IDL) and compiler for Postcard and friends - View it on GitHub