A high level language for data-intensive applications, with formally verified database-style optimizations - View it on GitHub