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…☆112Updated 2 years ago
- Implementation-focused introduction to Lie groups for roboticists☆25Updated 7 years ago
- Kalman filter using C++ and Manif☆29Updated last year
- Lie theory for robotics☆207Updated last year
- Pronto is an efficient EKF state estimator for inertial and sensory motion estimation☆27Updated 7 years ago
- MultiBody Dynamics Estimators: Particle filter and factor-graph estimators☆46Updated 6 months ago
- Solver for Large-Scale Rank-One Semidefinite Relaxations☆72Updated 3 years ago
- Automatic Differentiated Extended Kalman Filter (ADEKF) - This is a generic EKF Implementation that uses automatic differentiation to get…☆125Updated last year
- A flexible, modern, C++ recursive Bayesian estimation library.☆76Updated 2 months ago
- Automatically generate all constraint matrices for (lifted) QCQP problems.☆20Updated 7 months ago
- ROPTLIB: Riemannian Manifold Optimization Library☆78Updated 5 years ago
- A state estimation package for Lie groups!☆180Updated last month
- The analysis and implementation of SO3 log map, and its jacobians. The special focus on edge cases (angle close to 0 or \pi).☆29Updated 2 years ago
- nbdev-based library for Frank and Seth's book draft.☆17Updated last year
- Full kinodynamics constraints for arbitrary robot configurations with factor graphs.☆53Updated 2 months ago
- Header-only C++ library containing controllers designed for Lie Groups.☆75Updated 2 months ago
- Lie group math library.☆39Updated 2 months ago
- Python library for handling geometry in state estimation problems in robotics. It is used to store, manipulate, and apply three-dimension…☆12Updated 2 years ago
- Library for working with 3D rotations in C++☆25Updated 3 years ago
- Control and estimation on Lie groups☆61Updated last year
- Pure static Lie groups in Numpy, Pytorch, Jax, and C++☆40Updated 3 months ago
- A Python binding for ibex-lib☆14Updated 3 years ago
- Generic EKF, with support for non-Euclidean manifolds☆24Updated 3 years ago
- Wrapper generator for C++ projects with multiple language support☆36Updated 3 weeks ago
- Robotic motion planning in Julia☆43Updated 5 years ago
- Visualizer for Intervals and BoxES☆21Updated 2 weeks ago
- Light-weight C++ library for fast embedded nonlinear optimisation and optimal control☆54Updated 2 years ago
- Documentation of the MAV hardware setup used at the Vision for Robotics Lab.☆43Updated 3 years ago
- ROS wrapper for the invariant-ekf C++ library.☆53Updated 6 years ago
- tensorflow code for differentiable filtering☆34Updated 4 years ago