fathom (cargo): A declarative binary data description language.
Keywords: binary-data|binary-format|compiler|data-description-language|declarative|dependent-record-types|dependent-types|dsl|language|parser|programming-language|rust|statically-typed|type-checker|type-system