好开源，值得被发现。

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

Rust 编程语言的主源代码仓库，包含其编译器、标准库和文档。

Modular Platform 是一个开源的统一平台，用于AI开发和部署，托管MAX框架和Mojo语言，包括编译器、标准库、加速器内核以及一个兼容OpenAI的推理服务器。

Awesome Cheatsheets 是一个精心策划的快速参考 cheatsheet 仓库，涵盖广泛使用的编程语言、框架和开发工具。每个 cheatsheet 设计为单个文件，方便开发者快速查阅语法、常用命令和核心概念，无需翻阅完整文档。

V 是一种简单、快速且安全的编译型编程语言，可在不到一秒内完成自身编译，且零库依赖。它提供 C 到 V 的转换、热代码重载、灵活的内存管理、内置 ORM 和 Web 框架，以及 C 和 JavaScript 后端。

TypeScript 是 JavaScript 的超集，添加了可选的静态类型，并可编译为标准 JavaScript，帮助开发者在任何浏览器、主机或操作系统上构建和维护应用级代码。

Nolang 是一种内存安全、无 GC 的系统编程语言，语法极简、语义直观。提供统一的引用传递模型、自动变量销毁和批量堆分配/释放机制，附带 CLI 工具链和 VSCode 插件。

Go 是一种开源编程语言，旨在构建简单、可靠且高效的软件。

这个仓库是一个占位符，注明 Zig 编程语言项目已从 GitHub 迁移至 Codeberg；它不是镜像，且不含源代码或文档。

Sway是由Fuel Labs开发的类Rust编程语言和编译器工具链，专用于在Fuel区块链上编写智能合约。