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

rog

话题找到数量

PacktPublishing/Django-5-By-Example

CSS

Django 5 实战（第5版）由 Packt 出版

ajax api asgi
PacktPublishing
PacktPublishing 开发者
520
213
928
+1
排名 #9
5月16日
查看详情

rajko-horvat/OpenCiv1

C#

对席德·梅尔与布鲁斯·雪莱于1991年设计的原版《文明1》游戏进行的开源重制

4x 4x-strategy-game civilization
rajko-horvat
rajko-horvat 开发者
497
23
873
+34
排名 #5
3月30日
查看详情

jump-dev/MathOptInterface.jl

Julia

数学优化问题的数据结构

julia jump-jl mathematical-programming
jump-dev
jump-dev 开发者
496
98
662
排名 #18
6月29日
查看详情

JuliaDSP/DSP.jl

Julia

滤波器设计、周期图、窗函数及其他数字信号处理功能

dsp filter julia
JuliaDSP
JuliaDSP 开发者
414
115
1.1k
+1
排名 #1
2月1日
查看详情

suhdonghwi/nuri

Haskell

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

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

mattlianje/layoutz

Scala

简洁美观的命令行界面输出

cli dsl functional-programming
mattlianje
mattlianje 开发者
337
11
903
+1
排名 #8
4月20日
查看详情

JuliaGPU/AMDGPU.jl

Julia

AMD GPU（ROCm）编程（Julia实现）

amdgpu gpu gpu-programming
JuliaGPU
JuliaGPU 开发者
336
72
689
排名 #14
7月5日
查看详情

slothy-optimizer/slothy

Assembly

通过约束求解实现汇编超级优化

assembly-language constraint-programming cryptography-tools
slothy-optimizer
slothy-optimizer 开发者
326
42
841
+1
排名 #18
6月14日
查看详情

zhongkaifu/TensorSharp

C#

一个用于GGUF模型的原生.NET LLM推理引擎。TensorSharp提供了控制台应用程序、基于Web的聊天机器人界面，以及兼容Ollama/OpenAI的HTTP API，便于编程访问。它支持Windows/macOS/Linux，并具备完整的GPU能力。

ai csharp cuda
zhongkaifu
zhongkaifu 开发者
323
30
473
+13
排名 #20
8月4日
查看详情

TuringLang/DynamicPPL.jl

Julia

面向动态概率编程的领域特定语言实现

probabilistic-programming probability-theory
TuringLang
TuringLang 开发者
269
41
711
排名 #5
6月22日
查看详情

DataHaskell/dataframe

Haskell

一个快速、安全且直观的DataFrame库。

dataframe exploratory-data-analysis functional-programming
DataHaskell
DataHaskell 开发者
251
48
872
+1
排名 #11
6月12日
查看详情

goblint/analyzer

OCaml

C语言静态分析框架

abstract-interpretation c ocaml
goblint
goblint 开发者
248
88
763
排名 #6
6月28日
查看详情

MadNLP/MadNLP.jl

Julia

支持GPU的非线性规划求解器

julia-language nonlinear-programming optimization
MadNLP
MadNLP 开发者
245
26
867
排名 #18
6月12日
查看详情

SciML/Integrals.jl

Julia

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

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

atoptima/Coluna.jl

Julia

Julia中的分支定价切割算法

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

MAIF/izanami

Scala

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

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

actonlang/acton

Haskell

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

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

fluencelabs/aqua

Scala

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

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

abduznik/Freegosy

Dart

一个跨平台的Flutter应用，用于浏览RomM库、下载游戏以及启动模拟器并自动同步存档。

emulator flutter gaming
abduznik
abduznik 开发者
161
6
629
+2
排名 #12
7月31日
查看详情

RxNaison/Epson-Waste-Reset

C

一个免费、原生且完全开源的实用程序，用于重置 Epson 打印机上的“废墨垫”计数器

epson-adjustment-program epson-reset epson-resetter
RxNaison
RxNaison 开发者
158
34
277
+24
排名 #11
8月25日
查看详情

psmarter/CUDA-Practice

Cuda

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

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

JuliaGPU/JACC.jl

Julia

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

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

mosaic-group/openfpm

C++

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

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

viperproject/silver

Scala

Viper中间验证语言的定义

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