Delicatessen: the Python one-stop sandwich (variance) shop 🥪
-
Updated
Aug 11, 2026 - Python
Delicatessen: the Python one-stop sandwich (variance) shop 🥪
This project implements a planar monocular Simultaneous Localization and Mapping (SLAM) system for a differential drive robot equipped with a single camera.
Lean 4 formalisation of the stochastic order symbols: O_P(1) as a commutative ring, o_P(1) as its ideal, with M-estimator asymptotics
Add a description, image, and links to the m-estimators topic page so that developers can more easily learn about it.
To associate your repository with the m-estimators topic, visit your repo's landing page and select "manage topics."