Kira
Core to any dynamic content driven multi-user website is the database. Kira is a programming language designed to security expose the database to designers and programmers easily. Aside from easy interaction, Kira solves scalability, performance, security, availability, and reliability concerns by using formal methods and clean room engineering to produce superior database implementations. In addition to the database, Kira builds upon the Earth platform to provide advanced system services at the language level where important system properties and behaviors can be proven correct.