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.
☆47Updated last week
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☆28Updated last year
- Implementation-focused introduction to Lie groups for roboticists☆25Updated 7 years ago
- A set of lightweight header-only template functions implementing commonly-used optimization methods on Riemannian manifolds and convex sp…☆110Updated last year
- A Python binding for ibex-lib☆14Updated 3 years ago
- Automatically generate all constraint matrices for (lifted) QCQP problems.☆18Updated 5 months ago
- Tools for working with ROS with deterministic and repeatable processing of ros bags☆12Updated 6 years ago
- Solver for Large-Scale Rank-One Semidefinite Relaxations☆70Updated 3 years ago
- MultiBody Dynamics Estimators: Particle filter and factor-graph estimators☆46Updated 4 months ago
- nbdev-based library for Frank and Seth's book draft.☆17Updated last year
- Pronto is an efficient EKF state estimator for inertial and sensory motion estimation☆27Updated 6 years ago
- Dual Quaternion conversions from/to ROS messages☆30Updated 5 years ago
- A flexible, modern, C++ recursive Bayesian estimation library.☆75Updated 3 weeks ago
- An efficient c++ library targeting robotics applications using geometric algebra☆80Updated 2 weeks ago
- Visualizer for Intervals and BoxES☆21Updated 2 weeks ago
- Lie theory for robotics☆204Updated last year
- Header-only C++ library containing controllers designed for Lie Groups.☆75Updated 2 weeks ago
- This is the working repository for the CSDP project. CSDP is a solver for semidefinite programming problems. It is a COIN-OR project.☆58Updated 3 years ago
- ROS wrapper for the invariant-ekf C++ library.☆53Updated 6 years ago
- Control and estimation on Lie groups☆61Updated last year
- Robotic motion planning in Julia☆43Updated 5 years ago
- Probabilistic Framework for Hand-Eye and Robot-World Calibration AX=YB (TRO2023)☆34Updated last year
- Generic EKF, with support for non-Euclidean manifolds☆22Updated 3 years ago
- FLS point cloud registration (ISRR 2022)☆16Updated last year
- Lie group math library.☆37Updated last week
- Full kinodynamics constraints for arbitrary robot configurations with factor graphs.☆49Updated last week
- Describes interfaces for state observers, and implements some oberservers (including linear and extended Kalman filters)☆13Updated 2 years ago
- Distribution and filtering on SO(3) x Euclidean space☆11Updated 3 years ago
- Official implementation of "SCORE: Second Order Conic Initialization for RA-SLAM"☆33Updated last year
- Dynamic Kd-Tree: Euclidean, SO(2), SO(3), SE(3) and more!☆32Updated 3 weeks ago
- ☆11Updated 6 years ago