由于 trendforge.devlive.top 访问受限，请切换到 trendforge.devlive.org 域名

programming-language

话题找到数量

NVIDIA/cuda-quantum

C++

支持异构量子经典工作流的CUDA Quantum编程模型的C++与Python实现

cpp hacktoberfest python
NVIDIA
NVIDIA 开发者
1k
368
584
+2
排名 #4
4月24日
查看详情

microsoft/qdk

Rust

Microsoft量子开发工具包，包含Q#编程语言、资源估算器和Quantum Katas

compilers qsharp quantum
microsoft
microsoft 开发者
956
200
201
排名 #7
6月29日
查看详情

Sobeston/zig.guide

MDX

此仓库托管 https://zig.guide 的内容，助您快速掌握 Zig。

documentation education educational
Sobeston
Sobeston 开发者
917
228
324
排名 #18
5月28日
查看详情

ChessMax/awesome-programming-languages

Markdown

你可能感兴趣的优秀编程语言列表。

awesome awesome-list language
ChessMax
ChessMax 开发者
780
69
454
+1
排名 #11
3月11日
查看详情

Gabriella439/grace

Haskell

一种提示工程函数式编程语言

ai functional-programming interpreter
Gabriella439
Gabriella439 开发者
591
42
460
+1
排名 #9
5月18日
查看详情

caffeinelabs/motoko

OCaml

用于编写互联网计算机容器的简单高级语言

internet-computer motoko motoko-language
caffeinelabs
caffeinelabs 开发者
588
127
273
排名 #8
8月4日
查看详情

suhdonghwi/nuri

Haskell

努里：函数式韩语编程语言

hangul programming-language
suhdonghwi
suhdonghwi 开发者
372
14
439
排名 #5
3月17日
查看详情

actonlang/acton

Haskell

基于Actor模型、类型安全且快速的编程语言。

actor-model compiler distributed-computing
actonlang
actonlang 开发者
183
13
267
排名 #20
6月29日
查看详情

fluencelabs/aqua

Scala

用于分布式系统与点对点网络的编程语言

p2p programming-language
fluencelabs
fluencelabs 开发者
162
24
183
排名 #13
6月28日
查看详情

viperproject/silver

Scala

Viper中间验证语言的定义

programming-language verification viper
viperproject
viperproject 开发者
98
53
267
排名 #20
6月28日
查看详情

atomfinger/brunost

Zig

Brunot - 带有挪威风情的编程语言

norwegian norwegian-language programming-language
atomfinger
atomfinger 开发者
62
5
290
+17
排名 #12
5月3日
查看详情
助手