yeslogic / fathom Star 266 Code Issues Pull requests 🚧 (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
J-F-Liu / rddl Star 9 Code Issues Pull requests Refined Data Description Language (RDDL) specification and parser library. rust data-description-language Updated Mar 17, 2017 Rust
io7m-graveyard / jpra Star 1 Code Issues Pull requests Fast, mutable, packed records for Java java mutable record data-description-language Updated Jun 23, 2019 Java