🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
language programming-language rust parser dependent-types compiler binary-data dsl declarative data-description-language type-system statically-typed type-checker binary-format dependent-record-types
- Updated
Sep 6, 2023 - Rust