math-lm 是一个开放的数学语言模型，支持定理证明和微调实验。GaussianSplats3D 实现了 3D 高斯点云渲染，支持多种文件格式。moveit2 是 ROS 2 的运动规划框架，使用简单。dash 是用于构建机器学习网页应用的 Python 框架，支持多种可视化形式。chart-gpt 是基于文本输入的图表 AI 工具。