欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
ROS
来自开放百科 - 灰狐
Robot operating system(ROS) 是一个构建机器人及应用的操作系统，采用 BSD 许可协议。
ROS 提供了 C++ 和 Python 两种主要的编程接口，提供了类似 Debian 的包管理系统，开发者能方便的开发、安装、管理应用包。
ROS发布了两个版本：
ROS 集成 Arduino
新闻
自http://www.ros.org/news/atom.xml加载RSS失败或RSS源被墙
ROS驱动
PR2
Nao
Care-O-bot 3
Roomba
链接
<discussion>characters_max=300</discussion>
分享您的观点
