codac-team / codac
Codac is a library for constraint programming over reals, trajectories and sets.
☆39Updated 4 months ago
Related projects: ⓘ
- Pure static Lie groups in Numpy, Jax, and C++☆22Updated this week
- A set of lightweight header-only template functions implementing commonly-used optimization methods on Riemannian manifolds and convex sp…☆94Updated 10 months ago
- Header-only C++ library containing controllers designed for Lie Groups.☆61Updated last year
- Kalman filter using C++ and Manif☆27Updated last month
- Pronto is an efficient EKF state estimator for inertial and sensory motion estimation☆24Updated 5 years ago
- MultiBody Dynamics Estimators: Particle filter and factor-graph estimators☆42Updated 3 months ago
- ROS wrapper for the invariant-ekf C++ library.☆45Updated 5 years ago
- Implementation-focused introduction to Lie groups for roboticists☆21Updated 6 years ago
- Lie theory for robotics☆173Updated 3 months ago
- An efficient c++ library targeting robotics applications using geometric algebra☆69Updated 2 weeks ago
- Rigid transform using Lie groups and Dual Quaternions, written in CasADi!☆59Updated 3 months ago
- Lie group math library.☆34Updated 5 months ago
- Python library for handling geometry in state estimation problems in robotics. It is used to store, manipulate, and apply three-dimension…☆12Updated last year
- Distribution and filtering on SO(3) x Euclidean space☆10Updated 2 years ago
- Generic EKF, with support for non-Euclidean manifolds☆22Updated 2 years ago
- Light-weight C++ library for fast embedded nonlinear optimisation and optimal control☆44Updated 10 months ago
- Full kinodynamics constraints for arbitrary robot configurations with factor graphs.☆39Updated 5 months ago
- C++ Belief Space Motion Planning using OMPL as backend☆22Updated 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).☆22Updated 9 months ago
- UKF over generalized manifold in Matlab☆30Updated 6 years ago
- A Jupyter-notebook based article investigating (useful parameter settings for) the Unscented Kalman Filter (UKF).☆28Updated 8 years ago
- A simple, lightweight Python/PyBullet-based Micro Aerial Vehicles simulator - Code for our work "Output-Feedback Tube MPC Guided Data Aug…☆15Updated last year
- Fast Fourier transform on SO(3)☆27Updated 2 years ago
- Real-Time Ergodic Control☆21Updated 4 years ago
- tensorflow code for differentiable filtering☆27Updated 3 years ago
- ☆42Updated last month
- Official implementation of "SCORE: Second Order Conic Initialization for RA-SLAM"☆32Updated 8 months ago
- Clarabel.cpp: C/C++ interface to the Clarabel Interior-point solver for convex conic optimisation problems.☆33Updated 3 months ago
- Control and estimation on Lie groups☆56Updated 5 months ago
- qpDUNES - an implementation of the DUal NEwton Strategy for quadratic programming☆23Updated 7 years ago