ReScript 是一种强大的类型化语言，可以编译成高效且可读性高的 JavaScript。 ReScript 包含了一个快速的编译器工具链，可以扩展到任何代码库的大小。 示例代码 ReScri...<
Kusion 配置语言 (KCL, Kusion Configuration Language) 是一种开源配置语言，主要用于 Kusion Stack 开放协同技术栈。并且 KCL 是一种基于...<
HVML 即Hybrid Virtual Markup Language，能够让熟悉 C/C++ 或其他编程语言的开发者可以通过 HVML 使用 Web 前端技术（如 HTML/SVG/Math...<
CovScript 是一门跨平台、开放源代码的动态类型脚本编程语言，具有高效、易懂、可靠的特点，充分吸收了现代编程语言研究的成果，与 C、C++ 等现代语言有良好的可交互性。 特性 全平台可用，...<
Cicada（蝉语）是一门依赖类型编程语言，一个交互式定理证明器。 蝉语项目主要是为了帮助大众理解开发软件和研究数学事实上是同一类活动，实践这两项活动的人可以相互学习，并以非常好的方式相互帮助。...<
Calcit 是缩进语法的 Clojure 方言，基于 Rust 解释执行，支持编译为*.mjs使用。 核心设计 基于 Rust 的解释器，支持通过 Rust FFI 进行扩展 持久化数据结构 ...<
Aya 是一种编程语言和证明助手，专为形式化数学和类型导向编程而设计。 Aya 的类型系统具有类似于 Arend 的同源性 (homotopical) 特征、重叠但汇合的模式匹配以及对定义等式 ...<
凹语言（凹读音“Wa”）是国内 Go 开发者设计的实验性编程语言。 设计目标 披着 Go 和 Rust 语法外衣的 C++ 语言； 凹语言源码文件后缀为 .wa； 凹语言编译器兼容 WaG...<
挺久没更新新的模组树游戏了，今天来一个吧，这个Mod的玩法也算新颖。<
《矿山防御》是一款类似《无尽的饼干》的放置游戏，糅合了战斗、炼金、法术等元素。<
