codac-team / pyIbexLinks
A Python binding for ibex-lib
☆14Updated 3 years ago
Alternatives and similar repositories for pyIbex
Users that are interested in pyIbex are comparing it to the libraries listed below
Sorting:
- Codac (Catalog Of Domains And Contractors) is a C++/Python/Matlab library providing tools for interval computations and constraint progra…☆48Updated 2 weeks ago
- Visualizer for Intervals and BoxES☆21Updated 3 weeks ago
- IBEX is a C++ library for constraint processing over real numbers.☆84Updated last month
- Low-level Julia bindings for the LCM communications library☆16Updated 4 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.☆60Updated 3 years ago
- A* with Artificial Terrain Cost for Search Space Restriction - ROS move_base integrated plugin☆13Updated 5 years ago
- Michigan Autonomous Vehicles☆14Updated 6 years ago
- Robust robotic localization and mapping, together with NavAbility(TM). Reach out to info@wherewhen.ai for help.☆196Updated last month
- Library for High-Performance implementation of solvers for MPC.☆59Updated 5 months ago
- Implementation-focused introduction to Lie groups for roboticists☆25Updated 7 years ago
- The Goby Underwater Autonomy Project☆26Updated 3 years ago
- Port of Peter Corke's Robotics Toolbox to Julia☆16Updated 6 years ago
- qpDUNES - an implementation of the DUal NEwton Strategy for quadratic programming☆25Updated 9 years ago
- Python interface for COSMO.jl convex optimisation solver.☆16Updated 4 years ago
- Clique recycling non-Gaussian (multi-modal) factor graph solver; also see Caesar.jl.☆75Updated this week
- Spacemacs config for daily software development and notes taking.☆11Updated 2 weeks ago
- BlueROV simulation and visualization☆13Updated 6 years ago
- A C++ Second Order Cone Solver based on Eigen☆33Updated 4 years ago
- COIN-OR autotools harness to build Mumps☆23Updated last month
- Julia Package for discrete-time linear Gaussian parametric filtering systems, namely KF, EKF, UKF, GM-PHD☆47Updated 10 months ago
- Deprecated git mirror of the svn repository formerly located at https://code.google.com/p/libbot. Please use the upstream https://github.…☆23Updated 8 years ago
- Elastic foundation contact model for rigid body dynamics.☆10Updated 5 years ago
- ROS library for spatial transformations with uncertainty (MRPT wrapper)☆17Updated last month
- A free LDL factorisation routine☆97Updated 2 weeks ago
- FMI import plugins for the Gazebo Simulator.☆25Updated 5 years ago
- This will be a repository for exploring robotics, and SLAM implementations based on lectures by Professor Claus Brenner☆21Updated 5 years ago
- GJK signed distance algorithm for convex bodies in Julia☆34Updated 4 years ago
- ☆11Updated 6 years ago
- Robot Motion Estimate: Tools, Variables, and Factors for SLAM in robotics; also see Caesar.jl.☆65Updated last month
- An efficient implementation of the Double Description Method☆130Updated 3 months ago