Typed Rust specifications, interpreted by frameworks you choose
rust code-generation tagless-final interpreter-pattern compositionality alux embedded-dsl denotational-design design-by-meaning
-
Updated
Sep 11, 2026 - Rust
#
design-by-meaning
Here are 2 public repositories matching this topic...
ALUX programming guidelines
programming functional-programming type-theory rust-lang programming-languages software-architecture software-design tagless-final compositionality alux mdbook-book denotational-design design-by-meaning
-
Updated
Aug 17, 2026 - CSS
Add this topic to your repo
To associate your repository with the design-by-meaning topic, visit your repo's landing page and select "manage topics."