好开源，值得被发现。

Takibi 是一个研究性系统语言及其配套的 Linux-ABI 兼容单体内核。该项目旨在通过精化类型（refinement types）和仿射所有权（affine ownership），将内核运行时的故障转化为编译时错误，从而提升系统稳定性。

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

Unnameable是一个实验性的编程语言编译器，由Rust编写，具有多阶段管道，从源代码到HIR（高级中间表示））进行语义分析。代码生成仍在开发中。

LAMINARIA是一个研究阶段的统一工具链项目，将Rust和Nim的构建建模为可解释的动作图，涵盖依赖解析、编译器管线、后端路由、缓存和资源感知执行。

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

RPCS3 是一个免费开源的 PlayStation 3 模拟器和调试器，使用 C++ 编写，支持 Windows、Linux、macOS 和 FreeBSD。它能够在现代硬件上运行 PS3 游戏，并为模拟开发提供调试功能。

Codon 是一款高性能 Python 实现，可编译为原生机器码，提供与 C/C++ 相当的运行速度，并支持原生多线程和 GPU 加速。