Data format and schema, with a type system as strong as Rust's. - View it on GitHub