语言名称 | 是否开源 | 作者 | 简介 |
---|---|---|---|
凹语言™ | 开源 | 柴树杉/丁尔男/史斌 | 披着 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(粤语编程语言) | 开源 | 萧伟俊 | 以粤语书写的编程语言 |
易语言 | 闭源 | 吴涛等 | 一门以中文作为程序代码编程语言 |
Fanx | 开源 | chunquedong | 面向对象的静态类型的全栈编程语言,可以编译为C语言、Java字节码、javascript,并提供跨平台开发框架 |
入墨答(Rumbda Calculus) | 开源 | SOL | 简单通顺的中文入(λ)演算,可与haskell混编,正在兼容F# |
注: 使用英文名字的语言后面不再加语言后缀, 比如 Go+
感谢大家提供 PR!以下排名不分先后:
duzc2 |
hax |
tiye |
Circleee |
wrpota |
hellodword |
liuduanfei |
---|---|---|---|---|---|---|
rpishgithub |
https://api.github.com/repos/chai2010/china-programming-languages/contributors