Skir : un langage déclaratif pour générer du code type-safe en 9 langages (en)

Skir est un langage déclaratif permettant de définir des types de données, constantes et APIs dans un fichier .skir, puis de générer du code idiomatique et type-safe pour TypeScript, Python, Java, Go, C++, Kotlin, Dart, Swift et Rust. Le compilateur s’utilise sans installation via npx et dispose d’un mode watch. Il inclut SkirRPC, un protocole HTTP léger pour la communication typesafe frontend↔backend, ainsi qu’un support IDE complet via une extension VS Code et un serveur LSP.