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…☆111Updated 2 years ago
- nbdev-based library for Frank and Seth's book draft.☆17Updated last year
- Kalman filter using C++ and Manif☆29Updated last year
- Visualizer for Intervals and BoxES☆21Updated last month
- Implementation-focused introduction to Lie groups for roboticists☆25Updated 7 years ago
- Lie theory for robotics☆207Updated last year
- Automatically generate all constraint matrices for (lifted) QCQP problems.☆21Updated 8 months ago
- Solver for Large-Scale Rank-One Semidefinite Relaxations☆72Updated 3 years ago
- Tools for working with ROS with deterministic and repeatable processing of ros bags☆12Updated 7 years ago
- Automatic Differentiated Extended Kalman Filter (ADEKF) - This is a generic EKF Implementation that uses automatic differentiation to get…☆125Updated 3 weeks ago
- Distribution and filtering on SO(3) x Euclidean space☆12Updated 3 years ago
- Lie group math library.☆40Updated 2 weeks ago
- nanoplan is a header-only C++11 library for search-based robot planning.☆15Updated 2 years ago
- Control and estimation on Lie groups☆61Updated last year
- A Python binding for ibex-lib☆14Updated 3 years ago
- Quadratic programming solver for Python, Julia, Matlab, C, C++ and Fortran.☆29Updated 5 months ago
- Generic EKF, with support for non-Euclidean manifolds☆24Updated 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).☆30Updated 2 years ago
- Header-only C++ library containing controllers designed for Lie Groups.☆75Updated 3 months ago
- MultiBody Dynamics Estimators: Particle filter and factor-graph estimators☆46Updated 7 months ago
- square root Kalman Filter using only QR decompositions☆23Updated 2 years ago
- Probabilistic Framework for Hand-Eye and Robot-World Calibration AX=YB (TRO2023)☆35Updated last year
- An efficient c++ library targeting robotics applications using geometric algebra☆89Updated last week
- Full kinodynamics constraints for arbitrary robot configurations with factor graphs.☆53Updated last week
- Robotic motion planning in Julia☆43Updated 5 years ago
- ROS wrapper for the invariant-ekf C++ library.☆54Updated 6 years ago
- Pronto is an efficient EKF state estimator for inertial and sensory motion estimation☆27Updated 7 years ago
- cheatsheet of all the basics notions of Lie algebra☆78Updated 3 years ago
- A flexible, modern, C++ recursive Bayesian estimation library.☆76Updated 3 months ago
- A ROS wrapper for the MaRS Library☆64Updated 9 months ago