---
My framework (Dioxus Native - https://github.com/dioxuslabs/blitz) would fit quite nicely into your comparison table:
- Compiles to self-contained OS-native app bundle
- <10 MB (compiled with Oz) or ~15MB (with O3) (can be golfed smaller)
- GPU or CPU rendering
- Windows 10+ / macOS / Linux / mobile / wasm / (+ web DOM with Dioxus Web)
- Rust
- Memory safety: borrow checked
- Styling: CSS (support matrix: https://blitz.is/status/css)
-- Why Ada, well and why Rust? I guess it depends on your taste...
You can know more about Ada here: https://learn.adacore.com/courses/intro-to-ada/chapters/intr...
It is a language with a long history, completely defined both the language and it's runtime library, it is an ISO standard, it is readable, it is modern, it has many features both for embedded and general purpose use, it has 1st class support on GCC as a frontend. Maybe it does not have a borrow checker as of today, but if you need to harden you can use the Ada/SPARK subset, a very interesting language, that can prove program correctness at compile time.
Huh. That does sound cool. Does that mean that the XML and CSS is parsed and resolved at compile time? How does that handle dynamic content changes (e.g. content changes in response to user input).
Note that while Blitz applies CSS and runs layout at runtime, the scripting layer (equivalent of JS in the browser or Dart in flutter) is AOT-compiled Rust.