Looks like a statically typed PHP replacement with a lot of domain-specific type checks. I really wanted to see how they enforce this one: ‘Include client-side code that makes incorrect assumptions about the "AJAX"-style services that the remote web server provides’, but couldn’t find any examples on GitHub.