| 语言名称 | 是否开源 | 作者 | 简介 |
|---|---|---|---|
| 凹语言™ | 开源 | 柴树杉/丁尔男/史斌 | 披着 Go 语法外衣的 C 语言 |
| Aya Prover | 开源 | 千里冰封等 | 一种编程语言和证明助手，专为形式化数学和类型导向编程而设计，支持同伦类型论。 |
| 仓颉 | ?/未发布 | 华为公司 | 面向HarmonyOS的编程语言，为鸿蒙生态基础设施建设补上最后一环。 |
| 草蟒 | 开源 | 吴胜金 | Python 中文版，支持全中文编程，完全兼容 python 生态 |
| Calcit | 开源 | 题叶 | 缩进语法的 Clojure 方言，基于 Rust 解释执行，支持编译为 *.mjs 使用。 |
| Cicada(蝉语) | 开源 | 谢宇恒 | 一门依赖类型编程语言，一个交互式定理证明器。 |
| CovScript(智锐编程语言) | 开源 | 李登淳 | 一门跨平台的动态类型应用层通用编程语言，在四川大学有较为活跃的学生社区 |
| Go+ | 开源 | 许式伟 | 基于 Go 语言扩展的语言，Go 语言实现 |
| HVML(呼噜猫) | 开源 | 魏永明 | 应用编程语言 |
| KCL | 开源 | 蚂蚁集团 | KusionStack 云原生配置技术栈项目提供的配置策略语言，Rust 语言实现 |
| 洛书 | 开源 | 陈朝臣 | 基于专用虚拟指令集、面向多种运用场景的中文编程语言。 |
| 木兰 | 开源重现 | 原创：刘雷等；重现：吴烜等 | 基于 Python 的编程语言，语法设计包括 用大括号取代强制缩进 等等。 |
| OpenBlock | 开源 | 杜天微 | 简单易学的、面向业务的图形化脚本语言，开放原子开源基金会孵化项目 |
| 气(Qi)语 | 开源 | ? | 中文编程语言 |
| ReScript | 开源 | 张宏波 | 目前第一个 国际化运作成功 的国产编程语言，OCaml 语言实现 |
| 文言 | 开源 | 黄令东 | 以文言文书写的编程语言 |
| Cantonese(粤语编程语言) | 开源 | 萧伟俊 | 以粤语书写的编程语言 |
| 易语言 | 闭源 | 吴涛等 | 一门以中文作为程序代码编程语言 |
注: 使用英文名字的语言后面不再加语言后缀, 比如 Go+
感谢大家提供 PR！以下排名不分先后：
 duzc2 |
 hax |
 tiye |
 Circleee |
 wrpota |
 hellodword |
 liuduanfei |
|---|---|---|---|---|---|---|
 rpishgithub |
https://api.github.com/repos/chai2010/china-programming-languages/contributors