Statically typechecks a common SQL dialect and translates it to various RDBMS backends - View it on GitHub