🚧 (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