类别 | 话题 |
---|---|
综合讨论区新手报道、编程语言、相关八卦、技术相关的都可以在这里。
|
23
|
好书推荐编程语言相关、或者其他图书推荐。
|
0
|
Aya Prover 证明器Aya 证明器,定理证明器和编程语言的结合, 拥有表达力强大的类型系统。
|
3
|
BCY1960年代由中科院设计的中文编译程序语言。
|
1
|
Charlang 仓颉语言来自华为的通用编程语言,尚在内部开发阶段。
|
1
|
CovScript 智锐国内首个全自主生态的跨平台通用动态语言。作者 @mikecovlee
|
11
|
Dao 道语言一个轻量级、支持可选类型标注的程序语言。
|
0
|
Deeplang具有鲜明内存安全特性的面向IoT场景的语言。作者 @chinesebear
|
1
|
Elang 易语言一门以中文作为程序代码编程语言,其以“易”著称,早期称为E语言。
|
0
|
Go+七牛创始人许式伟设计的面向工程师、STEM教育和数据工程师的通用语言。
|
0
|
Helang 何语言来自理塘的下一代 赛博 编程语言。
|
0
|
HVML一种具有新结构、新原理和新设计模式的可编程标记语言。
|
0
|
KCLKusion 配置语言(KCL)是一个开源的基于约束的记录及函数语言。
|
21
|
4
|
|
Mulan 木兰没错,这就是那个木兰。
|
2
|
OpenBlockOpenBlock是一种专为没有技术背景的非研发人员设计的图形化脚本语言。
|
0
|
Silk跨平台动态类型编程语言。
|
0
|
UnilangDeepin 自研的面向 GUI 开发的编程语言。
|
0
|
Wa 凹语言专为 WebAssembly 设计的通用静态类型的编译型语言。
|
7
|
WebAssembly简称 WASM,跨平台的汇编语言,是很多新语言的首选后端。
|
1
|
Wenyan 文言文言文編程語言。
|
0
|
站务反馈站务问题反馈、改进建议、或者毛遂自荐帮忙管理论坛都在这里
|
1
|