The eXtended typed array language - a DSL for the Tarray extension.
Latest version: 0.8.1
Some links: