| 语言名称 | 是否开源 | 作者 | 简介 |
|---|---|---|---|
| 凹语言TM | 开源 | 柴树杉/丁尔男/史斌 | 披着 Go 和 Rust 语法外衣的 C++ 语言 |
| Aya | 开源 | 千里冰封等 | 一种编程语言和证明助手,专为形式化数学和类型导向编程而设计。 |
| 仓颉 | ?/未发布 | 华为公司 | 面向HarmonyOS的编程语言,为鸿蒙生态基础设施建设补上最后一环。 |
| Calcit | 开源 | 题叶 | 缩进语法的 Clojure 方言,基于 Rust 解释执行,支持编译为 *.mjs 使用。 |
| Cicada(蝉语) | 开源 | 谢宇恒 | 一门依赖类型编程语言,一个交互式定理证明器。 |
| CovScript | ? | 李登淳 | 脚本编程语言 |
| Go+ | 开源 | 许式伟 | 基于 Go 语言扩展的语言,Go 语言实现 |
| HVML(呼噜猫) | 开源 | 魏永明 | 应用编程语言 |
| KCL | 开源 | 蚂蚁集团 | KusionStack 云原生配置技术栈项目提供的配置策略语言,Rust 语言实现 |
| 木兰 | ? | 中科院/吴烜 | 基于Python的编程语言 |
| OpenBlock | 开源 | 杜天微 | 简单易学的、面向业务的图形化脚本语言,开放原子开源基金会孵化项目 |
| 气(Qi)语 | 开源 | ? | 中文编程语言 |
| ReScript | 开源 | 张宏波 | 目前第一个 国际化运作成功 的国产编程语言,OCaml 语言实现 |
| 文言 | 开源 | 黄令东 | 以文言文书写的编程语言 |
| 易语言 | 闭源 | ? | 一门以中文作为程序代码编程语言 |
注: 使用英文名字的语言后面不再加语言后缀, 比如 Go+