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

programming

话题找到数量

mosaic-group/openfpm

C++

OpenFPM：一个用于并行计算机上粒子与粒子网格代码的可扩展开放框架

heterogeneous-parallel-programming high-performance-computing molecular-dynamics
mosaic-group
mosaic-group 开发者
122
28
145
+4
排名 #2
7月25日
查看详情

viperproject/silver

Scala

Viper中间验证语言的定义

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

atomfinger/brunost

Zig

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

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

laserdisc-io/tamer

Scala

Kafka Connect 连接器的独立替代方案

avro doobie fp
laserdisc-io
laserdisc-io 开发者
46
15
237
排名 #16
6月17日
查看详情
助手