好开源，值得被发现。

kanso 是一种小型语言，其源文件仅包含决策：布局、命名和声明顺序由编译器强制执行，非规范代码即为语法错误。该仓库提供了一个树遍历解释器、一个基于 LLVM 的原生编译器和一个 WebAssembly 后端，并通过差异化 CI 保持字节级一致。

Promise是一种为AI代理设计的静态类型编程语言，旨在编写正确、可维护的代码。它具有显式所有权、goroutine风格并发、代数错误处理、泛型和模式匹配。原生编译为LLVM，支持Linux、macOS、Windows和WASM。

Zap 是一种通用编程语言，具有独立的本地运行时，提供清晰的语法、可选的类型检查和内置的 Web 功能，无需外部依赖。

Xag 是一种编译型编程语言，具有 Rust 风格的内存所有权、注重高性能和详细的错误消息。它通过 LLVM 编译为原生代码或通过解释器运行。该项目处于早期开发阶段，对十进制算术进行了强大的验证，包括针对硬件和独立参考的验证。