codac-team / codacLinks
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.
☆48Updated 2 weeks ago
Alternatives and similar repositories for codac
Users that are interested in codac are comparing it to the libraries listed below
Sorting:
- Kalman filter using C++ and Manif☆29Updated last year
- A set of lightweight header-only template functions implementing commonly-used optimization methods on Riemannian manifolds and convex sp…☆112Updated 2 years ago
- Implementation-focused introduction to Lie groups for roboticists☆25Updated 7 years ago
- Lie theory for robotics☆204Updated last year
- Control and estimation on Lie groups☆61Updated last year
- Solver for Large-Scale Rank-One Semidefinite Relaxations☆71Updated 3 years ago
- nbdev-based library for Frank and Seth's book draft.☆17Updated last year
- Header-only C++ library containing controllers designed for Lie Groups.☆75Updated last month
- ROS wrapper for the invariant-ekf C++ library.☆53Updated 6 years ago
- Full kinodynamics constraints for arbitrary robot configurations with factor graphs.☆51Updated last month
- Automatically generate all constraint matrices for (lifted) QCQP problems.☆20Updated 7 months ago
- Pronto is an efficient EKF state estimator for inertial and sensory motion estimation☆27Updated 7 years ago
- A flexible, modern, C++ recursive Bayesian estimation library.