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

lan

话题找到数量

poulainpi/oryx-with-custom-qmk

Dockerfile

通过Achordion等高级QMK功能增强您的Oryx布局，同时保留通过Oryx编辑的能力，并借助GitHub Actions无缝完成构建。

ergodox-ez github-actions moonlander
poulainpi
poulainpi 开发者
209
491
1.4k
排名 #12
4月30日
查看详情

SirJul1337/omarchy-lock-explorer

QML

Omarchy 的锁屏设计，带有用于预览和切换的选择器

hyprland lockscreen omarchy
SirJul1337
SirJul1337 开发者
209
32
687
+1
排名 #8
10月19日
查看详情

rocq-community/rocq-lsp

OCaml

适用于Rocq/Coq的Visual Studio Code扩展和语言服务器协议 [维护者=@gbdrt,@SkySkimmer,@tabareau]

coq ide interactive-theorem-proving
rocq-community
rocq-community 开发者
206
62
1.2k
排名 #5
7月9日
查看详情

microsoft/Deploy-Your-AI-Application-In-Production

PowerShell

一个用于在生产环境中运行AI Foundry工作负载的安全、可扩展且集成化的部署方案。

ai-azd-templates ai-landing-zone azd-templates
microsoft
microsoft 开发者
205
160
1.4k
排名 #13
5月12日
查看详情

vlang/v-analyzer

V

@vlang语言服务器，满足您所有编辑需求，如跳转到定义、代码补全、类型提示等功能。

bindings language-server lsp
vlang
vlang 开发者
205
30
1.5k
排名 #2
8月31日
查看详情

kassane/zig-esp-idf-sample

Zig

在esp-idf上运行Zig

clang embedded embedded-systems
kassane
kassane 开发者
203
17
1.2k
+1
排名 #10
2月8日
查看详情

JuliaSmoothOptimizers/LinearOperators.jl

Julia

Julia线性算子库

julia julia-language linear-maps
JuliaSmoothOptimizers
JuliaSmoothOptimizers 开发者
198
43
1.1k
排名 #16
6月13日
查看详情

testdouble/han

Shell

韩：“Solo”产品工程师和小团队的人工智能技能和代理

claude claude-code claude-code-plugin
testdouble
testdouble 开发者
196
19
1.1k
+5
排名 #14
8月8日
查看详情

tv-labs/lua

Elixir

纯Elixir实现的Lua 5.3运行时

elixir erlang lua
tv-labs
tv-labs 开发者
194
8
912
排名 #7
6月11日
查看详情

actonlang/acton

Haskell

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

actor-model compiler distributed-computing
actonlang
actonlang 开发者
189
14
1.2k
排名 #7
10月13日
查看详情

JacquesCarette/Drasil

Haskell

生成一切（专注于研究型软件）

code-generation documentation-generator drasil-framework
JacquesCarette
JacquesCarette 开发者
169
33
1.1k
排名 #15
6月26日
查看详情

fluencelabs/aqua

Scala

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

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

D4vidDf/HyperBridge

Kotlin

为HyperOS带来原生灵动岛体验。将安卓通知桥接至HyperIslands

android hyper-island hyperos
D4vidDf
D4vidDf 开发者
146
19
1.3k
+5
排名 #13
2月7日
查看详情

scfmod/FS25_TerraFarm

Lua

FS25 泰拉农场

fs25 landscaping mod
scfmod
scfmod 开发者
146
10
1.4k
排名 #16
3月30日
查看详情

modelica/ModelicaSpecification

TeX

Modelica语言规范

hacktoberfest language map-lang
modelica
modelica 开发者
144
45
972
+1
排名 #3
6月7日
查看详情

TEALSK12/introduction-to-computer-science

Batchfile

Microsoft TEALS Program - Introduction to Computer Science

computer-science cs-curriculum curriculum
TEALSK12
TEALSK12 开发者
137
130
207
排名 #2
11月4日
查看详情

JuliaGPU/JACC.jl

Julia

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

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

inaka/cowboy_swagger

Erlang

基于trails的Cowboy Swagger集成

cowboy-swagger erlang hacktoberfest
inaka
inaka 开发者
127
60
1k
排名 #13
7月23日
查看详情

zimbadev/crystalserver

Lua

用于 15.25 协议的 Crystal Server，具有职业平衡功能。

forgottenserver opentibia otland
zimbadev
zimbadev 开发者
126
178
606
排名 #17
10月30日
查看详情

rwxrob/boost

Vim Script

正确入门，成为Shell原住民。此为正道。

bash basics beginner
rwxrob
rwxrob 开发者
120
5
1.2k
排名 #3
4月24日
查看详情

cloudposse/terraform-aws-alb

HCL

用于为HTTP/HTTPS流量配置标准应用负载均衡器的Terraform模块。

acm alb aws
cloudposse
cloudposse 开发者
116
120
1.6k
排名 #5
8月2日
查看详情

Flare-Animate/Flare

C++

Flare - A Familiar, Open Source Animation Suite. Forked from OpenToonz.

adobe-animate animation artcraft
Flare-Animate
Flare-Animate 开发者
113
16
589
+5
排名 #11
10月15日
查看详情

no1msd/seance

Zig

一个可滚动的终端复用器，用于追踪您的AI编码代理。

ai ai-agents claude-code
no1msd
no1msd 开发者
109
13
1.2k
+9
排名 #13
6月21日
查看详情

software-mansion/voyager

Elixir

观察、调试和了解正在运行的 BEAM 系统

beam debugging developer-tools
software-mansion
software-mansion 开发者
106
7
425
+4
排名 #6
10月23日
查看详情
助手