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

rov

话题找到数量

18F/identity-idp

Ruby

Login.gov 核心应用：身份提供商

civic-tech identity identity-provider
18F
18F 开发者
584
166
516
排名 #21
8月5日
查看详情

agentjido/req_llm

Elixir

用于查询AI服务提供商请求的插件。

ai ai-providers elixir
agentjido
agentjido 开发者
544
172
353
+1
排名 #6
7月16日
查看详情

Julian/lean.nvim

Lua

Neovim 对 Lean 定理证明器的支持

lean lean4 leanprover
Julian
Julian 开发者
503
46
429
+1
排名 #15
4月2日
查看详情

rocq-prover/vsrocq

OCaml

用于Coq的Visual Studio Code扩展

coq editor rocq
rocq-prover
rocq-prover 开发者
454
106
278
排名 #12
6月29日
查看详情

DataDog/terraform-provider-datadog

Go

Terraform Datadog提供商

datadog terraform terraform-provider
DataDog
DataDog 开发者
449
433
499
+2
排名 #14
6月6日
查看详情

bluerobotics/BlueOS

Vue

用于ROV、USV、机器人系统操作、开发与扩展的开源平台。

ardupilot blueos companion-computer
bluerobotics
bluerobotics 开发者
421
135
269
排名 #13
6月27日
查看详情

hashicorp/terraform-provider-awscc

HCL

Terraform AWS云控制提供商

aws terraform terraform-provider
hashicorp
hashicorp 开发者
313
151
479
排名 #12
8月3日
查看详情

BlueBrain/nexus

Scala

Blue Brain Nexus - 面向数据驱动科学的知识图谱

knowledge-graph nexus provenance
BlueBrain
BlueBrain 开发者
299
76
244
排名 #9
6月29日
查看详情

rocq-community/rocq-lsp

OCaml

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

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

rocq-prover/opam

OCaml

按不同仓库组织的所有Rocq和Coq相关opam包存档

coq opam opam-repository
rocq-prover
rocq-prover 开发者
172
181
293
+1
排名 #17
6月29日
查看详情
助手