docker-image
tb2-docker-images
Terminal-Bench 2.0 Docker images
This dataset contains the 89 linux/amd64 Docker task images pinned to the
alexgshaw/*:20251031 tags used by the local Terminal-Bench 2.0 run.
Verify and import on the target host:
sha256sum -c SHA256SUMS
cat images.tar.zst.part-* | zstd -dc | docker image load
images.txt is the expected tag list and manifest.json records the image IDs,
digests, platforms, creation times, and logical sizes at export time.
my-docker-dind-imagesdocker_imageslean4-docker-offline-imageuploaded a lean-mathlib docker image which can be used without network
OmniPick-Docker-Image
🤖 OmniPick Docker 镜像
本仓库用于存放 OmniPick 智能商超自主拣选系统 的 Docker 运行环境镜像。
OmniPick 面向智能零售与移动操作机器人场景，基于 ROS 2 Humble 构建机器人软件系统，融合 Nav2 自主导航、视觉感知、目标检测与三维定位、视觉伺服、机械臂运动控制 等模块，实现移动机器人在商超环境中的商品识别、自主导航、目标抓取、避障运输与指定区域放置等任务。
Docker 镜像用于快速复现项目运行环境，减少 ROS 2、Nav2、仿真环境及相关依赖的重复配置工作，便于项目迁移、部署、测试与后续开发。
📦 镜像文件
本仓库目前包含以下两个 Docker 镜像：
文件
说明
supermarket_sorting_client-nav2.tar
客户端镜像，主要包含 ROS 2 Humble、Nav2、自主导航及机器人任务执行相关环境
supermarket_sorting_server.tar… See the full description on the dataset page: https://huggingface.co/datasets/Leonard-WYH/OmniPick-Docker-Image.lean3-offline-docker-image