语言列表

语言名称	编程语言	作者	上次更新	简介
凹语言™	Go	柴树杉/丁尔男/史斌		专注于 WASM 平台的通用语言
Aya Prover	Java	千里冰封等		一种编程语言和证明助手，专为形式化数学和类型导向编程而设计，支持同伦类型论
Calcit	Rust	题叶		缩进语法的 Clojure 方言，基于 Rust 解释执行，支持编译为 *.mjs 使用
蝉语	TypeScript	谢宇恒		一门依赖类型编程语言，一个交互式定理证明器
草蟒	Python	吴胜金	-	Python 中文版，支持全中文编程，完全兼容 python 生态
Darabonba	JavaScript	阿里云		用于 OpenAPI 的 DSL 语言，用来生成多语言的 SDK 等代码
Deeplang	C++	浙大、中科大、帝国理工等高校学生		具有鲜明内存安全特性的面向IoT场景的语言
Fanx	C	chunquedong		面向对象的静态类型的全栈编程语言，可以编译为C语言、Java字节码、javascript，并提供跨平台开发框架
Go+	Go	许式伟		基于 Go 语言扩展的语言
HVML	C	魏永明		一种具有新结构、新原理和新设计模式的可编程标记语言
Jedi	JavaScript, OMeta, PHP	贺师俊		类似于 Pug 的模板语言，解析器基于 OMetaJS，编译为 PHP，曾在百姓网内部大规模使用，2018年后停止维护
Karl	C++	创造君		静态强类型编程语言，正处于起步阶段
KCL	Rust	徐鹏飞		基于约束的记录及函数语言，目前已经用于规模化云原生运维等领域
洛书	C++	陈朝臣	-	基于专用虚拟指令集、面向多种运用场景的中文编程语言
木兰	Python	原创：刘雷等；重现：吴烜等	-	基于 Python 的编程语言，语法设计包括 用大括号取代强制缩进 等等
OpenBlock	JavaScript	杜天微	-	简单易学的、面向业务的图形化脚本语言，开放原子开源基金会孵化项目
气语	C	?		中文编程语言
reXscript	C++	小康00010		动态类型脚本编程语言，具有相对丰富的库和一个高效的解释器
入墨答	Haskell	SOL		简单通顺的中文入（λ）演算，可与haskell混编，正在兼容F#
Unilang	C++	Deepin		Deepin 自研的编程语言
文言	TypeScript	黄令东		以文言文书写的编程语言
woolang	C++	mrcino		一门静态强类型编程语言，具有丰富的库和完善的编译运行时环境，性能较高，语法特性较齐全
粤语	Python	萧伟俊		以粤语书写的编程语言
豫言	SML	UltimatePea		函数式中文编程语言
智锐	C++	李登淳		一门跨平台的动态类型应用层通用编程语言，在四川大学有较为活跃的学生社区
ZLOGO	C#	TKT2016		功能与 LOGO 类似的中文编程语言，后有 在线版本
凸语言	tu	poulsen		自研零依赖,支持动态、静态类型的编译性语言,自举中...
好查	Kotlin	dafei1288	-	中文数据查询DSL，可以进行数据查询与绘图

注: 使用英文名字的语言后面不再加语言后缀, 比如 Go+