Skip to content
#

mobile-robotics

Here are 129 public repositories matching this topic...

Codac (Catalog Of Domains And Contractors) is a C++/Python/Matlab library providing tools for interval computations and constraint programming over real numbers, trajectories and sets. It has numerous applications in parameter estimation, guaranteed integration, robot localization, and provides reliable outputs.

  • Updated Jul 28, 2025
  • C++

Improve this page

Add a description, image, and links to the mobile-robotics topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the mobile-robotics topic, visit your repo's landing page and select "manage topics."

Learn more