好开源，值得被发现。

Viv 是一个处于公开测试阶段的源码可用引擎，用于游戏与模拟中的涌现叙事。它提供自定义 DSL、编译器、JavaScript 运行时、故事筛选功能，以及编辑器插件。

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

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

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

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

SparkLang 是一款采用 MIT 许可的编程语言和运行时，用于执行 .spark 文件。它主打先进行干跑（dry-run）的 CLI、编译/字节码转储、IDE 语言操作、剧本及模型实验室操作，并提供可选的实时网关、语音、浏览器和 CUDA 接口。

Kotoba是一种以安全为先的声明式语言和计算栈，专为AI代理设计。它强制执行能力安全执行、默认后量子密码学、内容寻址工件以及显式的权限边界，以限制不受信任的代码。

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

XGo是一种编程语言，读起来像普通英语，整合了C/C++、Go、Python和JavaScript/TypeScript。它简化了Go语法，支持类文件以实现领域特定友好性，并包含用于Web、游戏和DevOps的框架。

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

NeoHaskell 是一种面向初学者且注重开发效率的 Haskell 方言，内置了完善的工具链、测试框架和文档，旨在简化应用程序的开发流程。

Block 是一个本地优先的多语言工作流编排引擎，可在单个 .blk 文件中混用 Python、JavaScript、Lua、PHP、SQL、PowerShell 等语言，通过可序列化共享状态在进程间传递数据，并通过 CLI 在 Windows 上运行。提供 Lite、Standard、Plus 三个版本。

官方 Kotlin 仓库：JetBrains 开发的简洁多平台编程语言，包含编译器、标准库、Gradle 构建自动化、Kotlin/Native 支持及贡献指南。

《Professional Programming》是一份精心策划的全栈开发者学习资源列表，涵盖必读书籍与文章、工程原则，以及从算法、API 设计到安全、SRE 和职业成长等数十个主题。

Julia 是一种用于技术计算的高级、高性能动态编程语言。此仓库托管该语言的源代码、构建说明、标准库、REPL，并提供文档、软件包和社区资源的链接。

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

BAML是一种专为AI代理设计的编程语言，具备类似Rust的类型系统、运行时类型持久化、类型化错误、绿色线程及内置代理工具，可从TypeScript、Python、Go、C#或Java增量采用。

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

Inform 7 是一个用于创建交互式小说的自然语言编程语言，具有文学编程、编译器和原型设计工具。