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.
☆46Updated 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☆204Updated 11 months ago
- A Python binding for ibex-lib☆14Updated 3 years ago
- Implementation-focused introduction to Lie groups for roboticists☆25Updated 7 years ago
- Kalman filter using C++ and Manif☆28Updated last year
- A set of lightweight header-only template functions implementing commonly-used optimization methods on Riemannian manifolds and convex sp…☆108Updated last year
- Header-only C++ library containing controllers designed for Lie Groups.☆74Updated 2 months ago
- Control and estimation on Lie groups☆62Updated last year
- An efficient c++ library targeting robotics applications using geometric algebra☆80Updated last week
- Distribution and filtering on SO(3) x Euclidean space☆11Updated 3 years ago
- Automatically generate all constraint matrices for (lifted) QCQP problems.☆18Updated 5 months ago
- Describes interfaces for state observers, and implements some oberservers (including linear and extended Kalman filters)☆13Updated 2 years ago
- Visualizer for Intervals and BoxES☆21Updated last week
- Pronto is an efficient EKF state estimator for inertial and sensory motion estimation☆26Updated 6 years ago
- Dual Quaternion conversions from/to ROS messages☆30Updated 5 years ago
- 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
- Full kinodynamics constraints for arbitrary robot configurations with factor graphs.☆49Updated 2 weeks ago
- nbdev-based library for Frank and Seth's book draft.☆17Updated last year
- A flexible, modern, C++ recursive Bayesian estimation library.☆75Updated last year
- A state estimation package for Lie groups!☆178Updated 6 months ago
- ROS wrapper for the invariant-ekf C++ library.☆51Updated 6 years ago
- Light-weight C++ library for fast embedded nonlinear optimisation and optimal control☆52Updated last year
- MultiBody Dynamics Estimators: Particle filter and factor-graph estimators☆46Updated 4 months ago
- Rigid transform using Lie groups and Dual Quaternions, written in CasADi!☆84Updated 2 months ago
- Solver for Large-Scale Rank-One Semidefinite Relaxations☆70Updated 3 years ago
- Code dump of of a state estimator estimator for a robot with a floating base. Previously used on the Mercury robot.☆17Updated 5 years ago
- ROPTLIB: Riemannian Manifold Optimization Library☆77Updated 5 years ago
- A visual tool for laying out Gazebo simulation world files.☆17Updated 5 years ago
- Automatic Differentiated Extended Kalman Filter (ADEKF) - This is a generic EKF Implementation that uses automatic differentiation to get…☆126Updated last year
- Generalized Splines for Motion Optimization in C++ and python3☆94Updated last month