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.
☆44Updated last week
Alternatives and similar repositories for codac
Users that are interested in codac are comparing it to the libraries listed below
Sorting:
- Implementation-focused introduction to Lie groups for roboticists☆25Updated 7 years ago
- Kalman filter using C++ and Manif☆28Updated 11 months ago
- Lie theory for robotics☆201Updated 9 months ago
- A set of lightweight header-only template functions implementing commonly-used optimization methods on Riemannian manifolds and convex sp…☆106Updated last year
- Solver for Large-Scale Rank-One Semidefinite Relaxations☆68Updated 2 years ago
- An efficient c++ library targeting robotics applications using geometric algebra☆80Updated 2 weeks 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.☆49Updated last month
- Header-only C++ library containing controllers designed for Lie Groups.☆72Updated 2 weeks ago
- Pure static Lie groups in Numpy, Pytorch, Jax, and C++☆34Updated 10 months ago
- ROS wrapper for the invariant-ekf C++ library.☆51Updated 5 years ago
- Generic EKF, with support for non-Euclidean manifolds☆22Updated 3 years ago
- nbdev-based library for Frank and Seth's book draft.☆17Updated 10 months ago
- Automatic generator of ROS packages with the minimal skeleton for development of a ROS node (c++). This is an extremely simplified and cl…☆8Updated 5 years ago
- nanoplan is a header-only C++11 library for search-based robot planning.☆15Updated 2 years ago
- Pronto is an efficient EKF state estimator for inertial and sensory motion estimation☆26Updated 6 years ago
- Automatically generate all constraint matrices for (lifted) QCQP problems.☆17Updated 3 months 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 2 years ago
- MultiBody Dynamics Estimators: Particle filter and factor-graph estimators☆46Updated last month
- Distribution and filtering on SO(3) x Euclidean space☆11Updated 3 years ago
- Robust robotic localization and mapping, together with NavAbility(TM). Reach out to info@wherewhen.ai for help.☆193Updated last week
- Full kinodynamics constraints for arbitrary robot configurations with factor graphs.☆46Updated 2 months ago
- Dual Quaternion conversions from/to ROS messages☆30Updated 4 years ago
- ☆11Updated 6 years ago
- Automatic Differentiated Extended Kalman Filter (ADEKF) - This is a generic EKF Implementation that uses automatic differentiation to get…☆125Updated last year
- square root Kalman Filter using only QR decompositions☆22Updated 2 years ago
- A Python binding for ibex-lib☆13Updated 3 years ago
- The analysis and implementation of SO3 log map, and its jacobians. The special focus on edge cases (angle close to 0 or \pi).☆27Updated last year
- Visualizer for Intervals and BoxES☆21Updated last month
- ROPTLIB: Riemannian Manifold Optimization Library☆74Updated 4 years ago