❤️❤️❤️❤️❤️❤️ 我们已经正式推出微信小程序，在微信中搜索 TrendForge Pro 即可使用小程序，如果使用 Telegram 请搜索 trendforge_tg ❤️❤️❤️❤️❤️❤️

rover

话题找到数量

unionlabs/union

Rust

该信任最小化的零知识跨链协议专为抗审查、极高安全性和去中心化金融应用场景而设计。

astro blockchain cosmos
unionlabs
unionlabs 开发者
73k
3.9k
463
+4
排名 #14
6月15日
查看详情

ArduPilot/ardupilot

C++

ArduPlane、ArduCopter、ArduRover、ArduSub飞行器控制源码

arducopter ardupilot arduplane
ArduPilot
ArduPilot 开发者
15k
20k
694
+12
排名 #23
7月1日
查看详情

Julian/lean.nvim

Lua

Neovim 对 Lean 定理证明器的支持

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

rocq-prover/vsrocq

OCaml

用于Coq的Visual Studio Code扩展

coq editor rocq
rocq-prover
rocq-prover 开发者
455
106
175
+1
排名 #22
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
150
排名 #23
7月9日
查看详情

rocq-prover/opam

OCaml

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

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