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.
☆49Updated last week
Alternatives and similar repositories for codac
Users that are interested in codac are comparing it to the libraries listed below
Sorting:
- A set of lightweight header-only template functions implementing commonly-used optimization methods on Riemannian manifolds and convex sp…☆112Updated 2 years ago
- Kalman filter using C++ and Manif☆29Updated last year
- Implementation-focused introduction to Lie groups for roboticists☆25Updated 7 years ago
- Lie theory for robotics☆206Updated last year
- nbdev-based library for Frank and Seth's book draft.☆17Updated last year
- A flexible, modern, C++ recursive Bayesian estimation library.☆76Updated 3 months ago
- Automatically generate all constraint matrices for (lifted) QCQP problems.☆21Updated 8 months ago
- The analysis and implementation of SO3 log map, and its jacobians. The special focus on edge cases (angle close to 0 or \pi).☆30Updated 2 years ago
- Pronto is an efficient EKF state estimator for inertial and sensory motion estimation☆27Updated 7 years ago
- MultiBody Dynamics Estimators: Particle filter and factor-graph estimators☆46Updated 7 months ago
- Lie group math library.☆39Updated last week
- Automatic Differentiated Extended Kalman Filter (ADEKF) - This is a generic EKF Implementation that uses automatic differentiation to get…☆125Updated this week
- ☆11Updated 7 years ago
- Full kinodynamics constraints for arbitrary robot configurations with factor graphs.☆53Updated this week
- Header-only C++ library containing controllers designed for Lie Groups.☆75Updated 3 months ago
- ROS wrapper for the invariant-ekf C++ library.☆53Updated 6 years ago
- A ROS wrapper for the MaRS Library☆64Updated 8 months ago
- Control and estimation on Lie groups☆61Updated last year
- A Python binding for ibex-lib☆14Updated 3 years ago
- Tools for working with ROS with deterministic and repeatable processing of ros bags☆12Updated 7 years ago
- Official implementation of "SCORE: Second Order Conic Initialization for RA-SLAM"☆33Updated 2 years ago
- Solver for Large-Scale Rank-One Semidefinite Relaxations☆72Updated 3 years ago
- Dual Quaternion conversions from/to ROS messages☆30Updated 5 years ago
- A state estimation package for Lie groups!☆187Updated last month
- Probabilistic Framework for Hand-Eye and Robot-World Calibration AX=YB (TRO2023)☆34Updated last year
- Generic EKF, with support for non-Euclidean manifolds☆24Updated 3 years ago
- An efficient c++ library targeting robotics applications using geometric algebra☆84Updated last month
- cheatsheet of all the basics notions of Lie algebra☆78Updated 3 years ago
- Wrapper generator for C++ projects with multiple language support☆36Updated last month
- Project template using GTSAM + python wrapping☆64Updated 2 years ago