codac-team / codac
Codac is a library for constraint programming over reals, trajectories and sets.
☆41Updated this week
Alternatives and similar repositories for codac:
Users that are interested in codac are comparing it to the libraries listed below
- Visualizer for Intervals and BoxES☆19Updated 3 weeks ago
- Kalman filter using C++ and Manif☆28Updated 7 months ago
- A Python binding for ibex-lib☆13Updated 2 years ago
- Implementation-focused introduction to Lie groups for roboticists☆21Updated 6 years ago
- Lie theory for robotics☆190Updated 5 months ago
- A set of lightweight header-only template functions implementing commonly-used optimization methods on Riemannian manifolds and convex sp…☆101Updated last year
- Pronto is an efficient EKF state estimator for inertial and sensory motion estimation☆25Updated 6 years ago
- Distribution and filtering on SO(3) x Euclidean space☆10Updated 2 years ago
- nbdev-based library for Frank and Seth's book draft.☆15Updated 6 months ago
- A flexible, modern, C++ recursive Bayesian estimation library.☆70Updated last year
- ROS wrapper for the invariant-ekf C++ library.☆46Updated 5 years ago
- MultiBody Dynamics Estimators: Particle filter and factor-graph estimators☆44Updated 10 months ago
- Header-only C++ library containing controllers designed for Lie Groups.☆65Updated 2 months 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
- Clarabel.cpp: C/C++ interface to the Clarabel Interior-point solver for convex conic optimisation problems.☆46Updated 2 weeks 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
- C++ Belief Space Motion Planning using OMPL as backend☆22Updated 5 years ago
- A 2d laser scanner simulator for ROS☆21Updated 4 years ago
- Rigid transform using Lie groups and Dual Quaternions, written in CasADi!☆76Updated last week
- Dual Quaternion conversions from/to ROS messages☆30Updated 4 years ago
- Control and estimation on Lie groups☆59Updated 11 months ago
- Solver for Large-Scale Rank-One Semidefinite Relaxations☆68Updated 2 years ago
- An efficient c++ library targeting robotics applications using geometric algebra☆75Updated last month
- Library for handling various differentiable manifolds.☆52Updated 3 months ago
- Full kinodynamics constraints for arbitrary robot configurations with factor graphs.☆43Updated 4 months 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
- RVC notation☆20Updated 3 years ago
- Robotic motion planning in Julia☆41Updated 5 years ago
- Generic EKF, with support for non-Euclidean manifolds☆22Updated 2 years ago