codac-team / codacLinks
Codac (Catalog Of Domains And Contractors) is a C++/Python/Matlab library providing tools for interval computations and constraint programming over real numbers, trajectories and sets. It has numerous applications in parameter estimation, guaranteed integration, robot localization, and provides reliable outputs.
☆47Updated last week
Alternatives and similar repositories for codac
Users that are interested in codac are comparing it to the libraries listed below
Sorting:
- Implementation-focused introduction to Lie groups for roboticists☆25Updated 7 years ago
- Lie theory for robotics☆204Updated last year
- A set of lightweight header-only template functions implementing commonly-used optimization methods on Riemannian manifolds and convex sp…☆110Updated 2 years ago
- A Python binding for ibex-lib☆14Updated 3 years ago
- Kalman filter using C++ and Manif☆29Updated last year
- Visualizer for Intervals and BoxES☆21Updated this week
- Solver for Large-Scale Rank-One Semidefinite Relaxations☆70Updated 3 years ago
- Robotic motion planning in Julia☆43Updated 5 years ago
- Automatically generate all constraint matrices for (lifted) QCQP problems.☆19Updated 6 months ago
- Robust robotic localization and mapping, together with NavAbility(TM). Reach out to info@wherewhen.ai for help.☆196Updated last month
- This is the working repository for the CSDP project. CSDP is a solver for semidefinite programming problems. It is a COIN-OR project.☆60Updated 3 years ago
- Header-only C++ library containing controllers designed for Lie Groups.☆76Updated last month
- Full kinodynamics constraints for arbitrary robot configurations with factor graphs.☆51Updated last month
- Clarabel.cpp: C/C++ interface to the Clarabel Interior-point solver for convex conic optimisation problems.☆53Updated 5 months ago
- ROS wrapper for the invariant-ekf C++ library.☆53Updated 6 years ago
- A state estimation package for Lie groups!☆178Updated this week
- Automatic Differentiated Extended Kalman Filter (ADEKF) - This is a generic EKF Implementation that uses automatic differentiation to get…☆124Updated last year
- An efficient c++ library targeting robotics applications using geometric algebra☆80Updated last month
- MultiBody Dynamics Estimators: Particle filter and factor-graph estimators☆46Updated 5 months ago
- nbdev-based library for Frank and Seth's book draft.☆17Updated last year
- Toolkit for generating code from symbolic math expressions.☆72Updated this week
- Generic EKF, with support for non-Euclidean manifolds☆23Updated 3 years ago
- Pronto is an efficient EKF state estimator for inertial and sensory motion estimation☆27Updated 6 years ago
- tensorflow code for differentiable filtering☆34Updated 4 years ago
- square root Kalman Filter using only QR decompositions☆22Updated 2 years ago
- Control and estimation on Lie groups☆61Updated last year
- Library for High-Performance implementation of solvers for MPC.☆58Updated 4 months ago
- Library for working with 3D rotations in C++☆25Updated 3 years ago
- A flexible, modern, C++ recursive Bayesian estimation library.☆75Updated last month
- A Jupyter-notebook based article investigating (useful parameter settings for) the Unscented Kalman Filter (UKF).☆31Updated 9 years ago