Programming language based off pure type systems, and COQ. Currently aimed at both systems, and application programming. Has a simple syntax, and (planned) C integration.
OpenXL provides a flexible, platform-independent SOA/Web Service middleware and workflow programming language (SLL). OpenXL supports the creation, provisioning and execution of Web Services as well as the integration of code written in BPEL, Java, etc.