类别 话题

综合讨论区

新手报道、编程语言、相关八卦、技术相关的都可以在这里。
23

好书推荐

编程语言相关、或者其他图书推荐。
0

Aya Prover 证明器

Aya 证明器,定理证明器和编程语言的结合, 拥有表达力强大的类型系统。
3

BCY

1960年代由中科院设计的中文编译程序语言。
1

Charlang 仓颉语言

来自华为的通用编程语言,尚在内部开发阶段。
1

CovScript 智锐

国内首个全自主生态的跨平台通用动态语言。作者 @mikecovlee
11

Dao 道语言

一个轻量级、支持可选类型标注的程序语言。
0

Deeplang

具有鲜明内存安全特性的面向IoT场景的语言。作者 @chinesebear
1

Elang 易语言

一门以中文作为程序代码编程语言,其以“易”著称,早期称为E语言。
0

Go+

七牛创始人许式伟设计的面向工程师、STEM教育和数据工程师的通用语言。
0

Helang 何语言

来自理塘的下一代 赛博 编程语言。
0

HVML

一种具有新结构、新原理和新设计模式的可编程标记语言。
0

KCL

Kusion 配置语言(KCL)是一个开源的基于约束的记录及函数语言。
21
4

Mulan 木兰

没错,这就是那个木兰。
2

OpenBlock

OpenBlock是一种专为没有技术背景的非研发人员设计的图形化脚本语言。
0

Silk

跨平台动态类型编程语言。
0

Unilang

Deepin 自研的面向 GUI 开发的编程语言。
0

Wa 凹语言

专为 WebAssembly 设计的通用静态类型的编译型语言。
7

WebAssembly

简称 WASM,跨平台的汇编语言,是很多新语言的首选后端。
1

Wenyan 文言

文言文編程語言。
0

站务反馈

站务问题反馈、改进建议、或者毛遂自荐帮忙管理论坛都在这里
1