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