rover

话题找到数量

ArduPilot/ardupilot

C++

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

arducopter ardupilot arduplane
ArduPilot
ArduPilot 开发者
14k
20k
260
+10
排名 #19
3月27日
查看详情

Julian/lean.nvim

Lua

Neovim 对 Lean 定理证明器的支持

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