❤️❤️❤️❤️❤️❤️ 我们已经正式推出微信小程序，在微信中搜索 TrendForge Pro 即可使用小程序，如果使用 Telegram 请搜索 trendforge_tg ❤️❤️❤️❤️❤️❤️

programming

话题找到数量

SciML/Integrals.jl

Julia

为SciML科学机器学习组织提供的数值积分与求积通用接口

algorithmic-differentiation automatic-differentiation differentiable-programming
SciML
SciML 开发者
245
38
192
排名 #6
6月11日
查看详情

atoptima/Coluna.jl

Julia

Julia中的分支定价切割算法

branch-and-cut-and-price column-generation dantzig-wolfe-decomposition
atoptima
atoptima 开发者
216
45
103
+1
排名 #11
6月29日
查看详情

MAIF/izanami

Scala

Izanami 是一个集中式多功能特性开关解决方案，非常适合微服务架构。

ab-testing feature-toggles playframework
MAIF
MAIF 开发者
205
41
168
排名 #21
6月12日
查看详情

actonlang/acton

Haskell

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

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

fluencelabs/aqua

Scala

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

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

psmarter/CUDA-Practice

Cuda

CUDA编程练习项目——动手实践CUDA内核与性能优化，涵盖GEMM、FlashAttention、Tensor Cores、CUTLASS、量化、KV缓存、NCCL及性能分析。

cuda cuda-kernels cutlass
psmarter
psmarter 开发者
155
12
178
+49
排名 #4
5月31日
查看详情

JuliaGPU/JACC.jl

Julia

面向高效科学计算的Julia跨平台CPU/GPU数组库，支持parallel_for/parallel_reduce并行操作。

cpu gpu julialang
JuliaGPU
JuliaGPU 开发者
130
25
323
+1
排名 #9
6月11日
查看详情

viperproject/silver

Scala

Viper中间验证语言的定义

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

atomfinger/brunost

Zig

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

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

laserdisc-io/tamer

Scala

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

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