Adi2：用 Ada 写的现代 GUI 库，支持 CSS 样式、XML 布局和 WebAssembly