codac-team / codac
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
- Kalman filter using C++ and Manif☆28Updated 8 months ago
- Header-only C++ library containing controllers designed for Lie Groups.☆66Updated 2 weeks ago
- MultiBody Dynamics Estimators: Particle filter and factor-graph estimators☆44Updated 10 months ago
- Automatically generate all constraint matrices for (lifted) QCQP problems.☆10Updated 4 months ago
- Implementation-focused introduction to Lie groups for roboticists☆21Updated 6 years ago
- Lie theory for robotics☆198Updated 6 months ago
- Control and estimation on Lie groups☆59Updated 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
- The analysis and implementation of SO3 log map, and its jacobians. The special focus on edge cases (angle close to 0 or \pi).☆25Updated last year
- Clarabel.cpp: C/C++ interface to the Clarabel Interior-point solver for convex conic optimisation problems.☆46Updated last month
- Generic EKF, with support for non-Euclidean manifolds☆22Updated 3 years ago
- A set of lightweight header-only template functions implementing commonly-used optimization methods on Riemannian manifolds and convex sp…☆103Updated last year
- An efficient c++ library targeting robotics applications using geometric algebra☆78Updated 2 weeks ago
- Pronto is an efficient EKF state estimator for inertial and sensory motion estimation☆25Updated 6 years ago
- Library for working with 3D rotations in C++☆25Updated 3 years ago
- Visualizer for Intervals and BoxES☆19Updated 3 weeks ago
- nbdev-based library for Frank and Seth's book draft.☆16Updated 7 months ago
- ROS wrapper for the invariant-ekf C++ library.☆48Updated 5 years ago
- Lie groups in python☆17Updated last month
- Full kinodynamics constraints for arbitrary robot configurations with factor graphs.☆43Updated 5 months ago
- Light-weight C++ library for fast embedded nonlinear optimisation and optimal control☆50Updated last year
- Distribution and filtering on SO(3) x Euclidean space☆10Updated 2 years ago
- Invariant Kalman Filter in SE(2) and SE(3)☆58Updated last year
- Dual Quaternion conversions from/to ROS messages☆30Updated 4 years ago
- A simple, lightweight Python/PyBullet-based Micro Aerial Vehicles simulator - Code for our work "Output-Feedback Tube MPC Guided Data Aug…☆15Updated 2 years ago
- Pure static Lie groups in Numpy, Pytorch, Jax, and C++☆29Updated 7 months ago
- C++ Belief Space Motion Planning using OMPL as backend☆22Updated 5 years ago
- Rigid transform using Lie groups and Dual Quaternions, written in CasADi!☆78Updated last month
- Library for High-Performance implementation of solvers for MPC.☆55Updated 3 years ago
- Code of paper "Associating Uncertainty to Extended Poses for on Lie Group IMU Preintegration with Rotating Earth"☆85Updated 4 years ago