Quchaosheng / workbench-mobile-home-robot

Evidence-first runtime for a wheeled mobile household robot with bounded actions, replayable events, and fail-closed verification.

linux-can / can-utils

Linux-CAN / SocketCAN user space applications