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

programming

话题找到数量

mishamyrt/Lilex

Astro

🤘 开源编程字体

font ligatures opentype-features
mishamyrt
mishamyrt 开发者
1.7k
25
1.5k
排名 #5
9月3日
查看详情

MightyPirates/OpenComputers

Scala

《我的世界》OpenComputers模组的家园。

automation forge lua
MightyPirates
MightyPirates 开发者
1.7k
520
1.4k
+1
排名 #23
11月1日
查看详情

agentjido/jido

Elixir

🤖 专为分布式自主行为与动态工作流设计的Elixir自主智能体框架。

agent ai artificial-intelligence
agentjido
agentjido 开发者
1.7k
104
1.4k
+13
排名 #5
5月17日
查看详情

SciML/ModelingToolkit.jl

Julia

一个用于Julia中自动并行化科学机器学习（SciML）的非因果建模框架。一个用于物理信息机器学习集成符号计算及微分方程自动变换的计算机代数系统

acausal computer-algebra dae
SciML
SciML 开发者
1.7k
270
1.5k
排名 #3
9月19日
查看详情

EnzymeAD/Enzyme

LLVM

面向LLVM与MLIR的高性能自动微分框架。

ad automatic-differentiation c
EnzymeAD
EnzymeAD 开发者
1.7k
183
1.8k
+1
排名 #3
8月11日
查看详情

IntersectMBO/plutus

Haskell

Plutus语言实现及相关工具

blockchain programming-language smart-contracts
IntersectMBO
IntersectMBO 开发者
1.6k
509
1.5k
排名 #10
8月9日
查看详情

softwaremill/tapir

Scala

自文档化API的快速开发

akka akka-http declarative
softwaremill
softwaremill 开发者
1.5k
468
1.8k
+2
排名 #24
10月4日
查看详情

objectionary/eo

Java

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

eolang java language
objectionary
objectionary 开发者
1.4k
234
1.1k
+1
排名 #16
8月10日
查看详情

electrikmilk/cherri

Go

Siri 快捷指令编程语言 🍒

apple apple-shortcuts cherri
electrikmilk
electrikmilk 开发者
1.3k
45
1.3k
+76
排名 #2
4月1日
查看详情

scalameta/scalameta

Scala

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

metaprogramming parser pretty-printer
scalameta
scalameta 开发者
1.2k
244
972
排名 #23
6月18日
查看详情

NVIDIA/cuda-quantum

C++

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

cpp hacktoberfest python
NVIDIA
NVIDIA 开发者
1.1k
457
1.4k
+1
排名 #21
9月16日
查看详情

NVIDIA/cuopt

Cuda

GPU加速决策优化

cuda gpu linear-programming
NVIDIA
NVIDIA 开发者
1.1k
251
1.5k
+1
排名 #6
11月3日
查看详情

erweixin/langshift.dev

MDX

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

code-comparison interactive-learning programming-language-learning
erweixin
erweixin 开发者
1.1k
91
1.1k
排名 #7
5月17日
查看详情

ghostdogpr/caliban

Scala

面向Scala的函数式GraphQL库

functional-programming graphql graphql-client
ghostdogpr
ghostdogpr 开发者
995
263
1.4k
排名 #19
6月29日
查看详情

microsoft/qdk

Rust

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

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

Sobeston/zig.guide

MDX

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

documentation education educational
Sobeston
Sobeston 开发者
930
223
1.2k
排名 #16
10月20日
查看详情

composewell/streamly

Haskell

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

arrays async concurrency
composewell
composewell 开发者
921
71
1.1k
排名 #21
6月28日
查看详情

ChessMax/awesome-programming-languages

Markdown

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

awesome awesome-list language
ChessMax
ChessMax 开发者
844
98
1.2k
+2
排名 #11
10月21日
查看详情

SciML/Optimization.jl

Julia

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

algorithmic-differentiation automatic-differentiation convex-optimization
SciML
SciML 开发者
828
100
1.4k
排名 #22
6月26日
查看详情

ls1intum/Artemis

Java

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

apollon artificial-intelligence assessment
ls1intum
ls1intum 开发者
776
370
1.7k
+1
排名 #18
6月14日
查看详情

Gabriella439/grace

Haskell

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

ai functional-programming interpreter
Gabriella439
Gabriella439 开发者
623
48
1.2k
+1
排名 #3
10月21日
查看详情

caffeinelabs/motoko

OCaml

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

internet-computer motoko motoko-language
caffeinelabs
caffeinelabs 开发者
590
126
1.1k
+2
排名 #9
8月16日
查看详情

EnzymeAD/Enzyme.jl

Julia

Enzyme自动微分器的Julia语言绑定

ad automatic-differentiation compiler
EnzymeAD
EnzymeAD 开发者
586
105
1.4k
排名 #3
9月9日
查看详情

if-not-nil/revo

Zig

一种充满编程乐趣的动态语言

language programming-language
if-not-nil
if-not-nil 开发者
574
24
619
+2
排名 #15
10月24日
查看详情
助手