Fortress
Fortress is a new programming language designed for high-performance computing (HPC) with high programmability. Fortress features include Implicit parallelism, Transactions, Flexible, space-aware, mathematical syntax, Static type-checking (but with type inference), Definition of large parts of the language in its own libraries. The current implementation of Fortress is a reference interpreter, which is released under a BSD License.