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.
☆45Updated last week
Alternatives and similar repositories for codac
Users that are interested in codac are comparing it to the libraries listed below
Sorting:
- Lie theory for robotics☆203Updated 11 months ago
- A set of lightweight header-only template functions implementing commonly-used optimization methods on Riemannian manifolds and convex sp…☆108Updated last year
- Kalman filter using C++ and Manif☆28Updated last year
- A Python binding for ibex-lib☆14Updated 3 years ago
- Implementation-focused introduction to Lie groups for roboticists☆25Updated 7 years 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
- Header-only C++ library containing controllers designed for Lie Groups.☆73Updated last month
- Robust robotic localization and mapping, together with NavAbility(TM). Reach out to info@wherewhen.ai for help.☆195Updated last week
- Robotic motion planning in Julia☆42Updated 5 years ago
- MultiBody Dynamics Estimators: Particle filter and factor-graph estimators☆46Updated 3 months ago
- Light-weight C++ library for fast embedded nonlinear optimisation and optimal control☆52Updated last year
- A C++ Second Order Cone Solver based on Eigen☆32Updated 4 years ago
- Visualizer for Intervals and BoxES☆21Updated 2 months ago
- Solver for Large-Scale Rank-One Semidefinite Relaxations☆69Updated 2 years ago
- Pronto is an efficient EKF state estimator for inertial and sensory motion estimation☆26Updated 6 years ago
- Control and estimation on Lie groups☆61Updated last year
- Clarabel.cpp: C/C++ interface to the Clarabel Interior-point solver for convex conic optimisation problems.☆52Updated 3 months ago
- Generic EKF, with support for non-Euclidean manifolds☆22Updated 3 years ago
- ROPTLIB: Riemannian Manifold Optimization Library☆77Updated 5 years ago
- ☆47Updated 6 months ago
- A flexible, modern, C++ recursive Bayesian estimation library.☆75Updated last year
- Automatically generate all constraint matrices for (lifted) QCQP problems.☆17Updated 4 months ago
- Full kinodynamics constraints for arbitrary robot configurations with factor graphs.☆48Updated 3 months ago
- Library for High-Performance implementation of solvers for MPC.☆58Updated 2 months ago
- nbdev-based library for Frank and Seth's book draft.☆17Updated last year
- square root Kalman Filter using only QR decompositions☆23Updated 2 years ago
- An efficient c++ library targeting robotics applications using geometric algebra☆81Updated last month
- Concurrent exact nearest neighbor searching in robotics-relevant spaces, including Euclidean, SO(3), SE(3) and weighted combinations ther…☆59Updated last year
- ROS wrapper for the invariant-ekf C++ library.☆51Updated 6 years ago
- Dual Quaternion conversions from/to ROS messages☆30Updated 5 years ago