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:
- Header-only C++ library containing controllers designed for Lie Groups.☆69Updated 2 months ago
- Implementation-focused introduction to Lie groups for roboticists☆23Updated 6 years ago
- Kalman filter using C++ and Manif☆28Updated 9 months ago
- Lie theory for robotics☆201Updated 7 months ago
- Dual Quaternion conversions from/to ROS messages☆30Updated 4 years ago
- Automatically generate all constraint matrices for (lifted) QCQP problems.☆11Updated 3 weeks ago
- MultiBody Dynamics Estimators: Particle filter and factor-graph estimators☆44Updated last year
- ROS wrapper for the invariant-ekf C++ library.☆48Updated 5 years ago
- Visualizer for Intervals and BoxES☆20Updated last month
- Control and estimation on Lie groups☆60Updated last year
- Distribution and filtering on SO(3) x Euclidean space☆10Updated 2 years ago
- A set of lightweight header-only template functions implementing commonly-used optimization methods on Riemannian manifolds and convex sp…☆104Updated last year
- CppADCodeGen with an easy Eigen interface and Python bindings.☆15Updated 3 years 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 8 months ago
- Pure static Lie groups in Numpy, Pytorch, Jax, and C++☆30Updated 8 months ago
- A Python binding for ibex-lib☆13Updated 3 years ago
- Full kinodynamics constraints for arbitrary robot configurations with factor graphs.☆44Updated 7 months ago
- A visual tool for laying out Gazebo simulation world files.☆17Updated 5 years ago
- Rigid transform using Lie groups and Dual Quaternions, written in CasADi!☆79Updated 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
- Lie group math library.☆38Updated 3 weeks ago
- Clarabel.cpp: C/C++ interface to the Clarabel Interior-point solver for convex conic optimisation problems.☆48Updated last week
- An efficient c++ library targeting robotics applications using geometric algebra☆79Updated 2 months ago
- Generic EKF, with support for non-Euclidean manifolds☆22Updated 3 years ago
- A C++ Second Order Cone Solver based on Eigen☆32Updated 3 years ago
- Python interface for COSMO.jl convex optimisation solver.☆14Updated 3 years ago
- Code associated with the paper "Julia for Robotics: Simulation and Real-time Control in a High-level Programming Language"☆45Updated 6 years ago
- 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
- Library for working with 3D rotations in C++☆25Updated 3 years ago