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

rog

话题找到数量

IntersectMBO/plutus

Plutus语言实现及相关工具

1.6k
509
1.2k
排名 #10
8月9日
查看详情

cs341-illinois/coursebook

伊利诺伊大学开源系统编程入门教材

1.5k
160
785
+43
排名 #1
7月5日
查看详情

softwaremill/tapir

自文档化API的快速开发

1.5k
468
1.2k
排名 #23
6月16日
查看详情

zilliztech/memsearch

一个以Markdown为先的记忆系统,适用于任何AI智能体的独立库,灵感源自OpenClaw。

1.5k
128
1.1k
+48
排名 #12
4月26日
查看详情

objectionary/eo

EOLANG,一种基于𝜑-演算的实验性纯面向对象编程语言

1.4k
234
680
+1
排名 #16
8月10日
查看详情

semgrep/semgrep-rules

由Semgrep社区共同维护的Semgrep社区版规则集,依据Semgrep规则许可证可免费使用。

1.3k
588
1.3k
排名 #2
9月20日
查看详情

electrikmilk/cherri

Siri 快捷指令编程语言 🍒

1.3k
45
889
+76
排名 #2
4月1日
查看详情

ulsklyc/yuvomi

自托管家庭规划器 - 任务、日历、购物、餐食、预算。你的数据,你的服务器。

1.2k
102
609
+191
排名 #13
8月2日
查看详情

scalameta/scalameta

用于读取、分析、转换和生成Scala程序的库

1.2k
244
653
排名 #23
6月18日
查看详情

NVIDIA/cuda-quantum

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

1.1k
457
994
+1
排名 #21
9月16日
查看详情

erweixin/langshift.dev

面向开发者的编程语言学习平台。通过对比学习掌握新语言。提供交互式编辑器、性能监控和多语言支持。

1.1k
91
759
排名 #7
5月17日
查看详情

NVIDIA/cuopt

GPU加速决策优化

1k
233
1.1k
+7
排名 #9
9月20日
查看详情

ghostdogpr/caliban

面向Scala的函数式GraphQL库

995
263
950
排名 #19
6月29日
查看详情

AeneasVerif/aeneas

面向 Rust 程序的验证工具链

968
107
950
+2
排名 #6
9月17日
查看详情

microsoft/qdk

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

956
200
695
排名 #7
6月29日
查看详情

composewell/streamly

在Haskell中实现高性能、流式与并发函数式编程

921
71
748
排名 #21
6月28日
查看详情

Sobeston/zig.guide

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

917
228
848
排名 #18
5月28日
查看详情

JuliaDynamics/Agents.jl

基于智能体的建模框架(Julia实现)

905
148
758
排名 #18
6月28日
查看详情

ChessMax/awesome-programming-languages

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

838
89
841
+1
排名 #12
9月20日
查看详情

SciML/Optimization.jl

Julia中的数学优化库。涵盖局部、全局、基于梯度和无导数优化。通过统一简洁、快速且可微的接口,实现线性、二次、凸优化、混合整数及非线性优化。

828
100
1k
排名 #22
6月26日
查看详情

ls1intum/Artemis

Artemis - 具备自动反馈的交互式学习

776
370
1.1k
+1
排名 #18
6月14日
查看详情

Timendus/chip8-test-suite

一套包含测试程序的ROM镜像合集,可协助您开发自己的CHIP-8、SUPER-CHIP或XO-CHIP解释器(或称“模拟器”)

656
15
937
+2
排名 #2
2月10日
查看详情

Gabriella439/grace

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

591
42
873
+1
排名 #9
5月18日
查看详情

caffeinelabs/motoko

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

590
126
686
+2
排名 #9
8月16日
查看详情
助手