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