codac-team / codac
Codac is a library for constraint programming over reals, trajectories and sets.
☆40Updated this 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 6 months ago
- Header-only C++ library containing controllers designed for Lie Groups.☆64Updated last month
- nbdev-based library for Frank and Seth's book draft.☆15Updated 5 months ago
- MultiBody Dynamics Estimators: Particle filter and factor-graph estimators☆44Updated 8 months ago
- Visualizer for Intervals and BoxES☆19Updated this week
- pycvxset is a Python package for manipulation and visualization of convex sets.☆16Updated 4 months ago
- Pure static Lie groups in Numpy, Pytorch, Jax, and C++☆28Updated 5 months ago
- Library for High-Performance implementation of solvers for MPC.☆54Updated 3 years ago
- ROS wrapper for the invariant-ekf C++ library.☆46Updated 5 years ago
- Light-weight C++ library for fast embedded nonlinear optimisation and optimal control☆49Updated last year
- Clarabel.cpp: C/C++ interface to the Clarabel Interior-point solver for convex conic optimisation problems.☆44Updated last week
- Control and estimation on Lie groups☆56Updated 10 months ago
- Full kinodynamics constraints for arbitrary robot configurations with factor graphs.☆43Updated 3 months ago
- CppADCodeGen with an easy Eigen interface and Python bindings.☆15Updated 2 years ago
- Pronto is an efficient EKF state estimator for inertial and sensory motion estimation☆25Updated 6 years ago
- Robotic motion planning in Julia☆41Updated 5 years ago
- An efficient c++ library targeting robotics applications using geometric algebra☆73Updated 2 weeks ago
- A C++ Second Order Cone Solver based on Eigen☆32Updated 3 years ago
- Solver for Large-Scale Rank-One Semidefinite Relaxations☆68Updated 2 years ago
- This is the working repository for the CSDP project. CSDP is a solver for semidefinite programming problems. It is a COIN-OR project.☆58Updated 2 years ago
- Dual Quaternion conversions from/to ROS messages☆30Updated 4 years 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
- 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
- Lie group math library.☆36Updated last month
- Implementation-focused introduction to Lie groups for roboticists☆21Updated 6 years ago
- Rigid transform using Lie groups and Dual Quaternions, written in CasADi!☆75Updated 7 months ago
- RVC notation☆20Updated 3 years ago
- Fast Fourier transform on SO(3)☆27Updated 3 years ago
- qpDUNES - an implementation of the DUal NEwton Strategy for quadratic programming☆24Updated 8 years ago