codac-team / codacLinks
Codac is a library for constraint programming over reals, trajectories and sets.
☆43Updated 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☆23Updated 6 years 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
- Kalman filter using C++ and Manif☆28Updated 11 months ago
- Pronto is an efficient EKF state estimator for inertial and sensory motion estimation☆26Updated 6 years ago
- nbdev-based library for Frank and Seth's book draft.☆17Updated 10 months ago
- Automatically generate all constraint matrices for (lifted) QCQP problems.☆17Updated 2 months ago
- tensorflow code for differentiable filtering☆29Updated 3 years ago
- Lie theory for robotics☆201Updated 8 months ago
- Tools for working with ROS with deterministic and repeatable processing of ros bags☆12Updated 6 years ago
- Generic EKF, with support for non-Euclidean manifolds☆22Updated 3 years ago
- Full kinodynamics constraints for arbitrary robot configurations with factor graphs.☆46Updated last month
- A flexible, modern, C++ recursive Bayesian estimation library.☆74Updated last year
- Distribution and filtering on SO(3) x Euclidean space☆11Updated 3 years ago
- Python plot juggler☆34Updated 6 years ago
- MultiBody Dynamics Estimators: Particle filter and factor-graph estimators☆46Updated last month
- An efficient c++ library targeting robotics applications using geometric algebra☆80Updated last month
- Header-only C++ library containing controllers designed for Lie Groups.☆70Updated 3 months ago
- ROS wrapper for the invariant-ekf C++ library.☆51Updated 5 years ago
- Control and estimation on Lie groups☆60Updated last year
- Dual Quaternion conversions from/to ROS messages☆30Updated 4 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
- 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
- FLS point cloud registration (ISRR 2022)☆14Updated last year
- square root Kalman Filter using only QR decompositions☆22Updated 2 years ago
- Official implementation of "SCORE: Second Order Conic Initialization for RA-SLAM"☆33Updated last year
- Invariant Kalman Filter in SE(2) and SE(3)☆67Updated last year
- 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
- Clarabel.cpp: C/C++ interface to the Clarabel Interior-point solver for convex conic optimisation problems.☆48Updated last month
- Lie group math library.☆38Updated 2 months ago