A Python binding for ibex-lib
☆15Mar 31, 2022Updated 4 years ago
Alternatives and similar repositories for pyIbex
Users that are interested in pyIbex are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Codac (Catalog Of Domains And Contractors) is a C++/Python/Matlab library providing tools for interval computations and constraint progra…☆49Apr 20, 2026Updated last week
- ENSTA Bretagne's MOOS-IvP repository: an autonomy platform based on the MOOS middleware☆22Aug 16, 2017Updated 8 years ago
- IBEX is a C++ library for constraint processing over real numbers.☆87Feb 21, 2026Updated 2 months ago
- GAOL is not Just Another Interval Arithmetic Library☆19Dec 9, 2025Updated 4 months ago
- repo to store MOOS-IvP official releases☆22Oct 21, 2016Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A Python library for decoding and encoding AIS type 1 messages.☆11Jan 3, 2022Updated 4 years ago
- ROS 1 driver for SBG Systems IMU/AHRS/INS units such as ELLIPSE or QUANTA.☆78Oct 17, 2025Updated 6 months ago
- A* with Artificial Terrain Cost for Search Space Restriction - ROS move_base integrated plugin☆13Jul 20, 2020Updated 5 years ago
- Visualizer for Intervals and BoxES☆21Jan 5, 2026Updated 3 months ago
- Course Dependencies☆12Feb 8, 2020Updated 6 years ago
- ROS library for spatial transformations with uncertainty (MRPT wrapper)☆17Oct 25, 2025Updated 6 months ago
- Boost.org numeric interval library☆30Apr 22, 2026Updated last week
- ☆17Jul 23, 2023Updated 2 years ago
- Indoor navigation via Apriltags over MAVLink☆30Oct 25, 2025Updated 6 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- This is a marine image dataset (MID) for obstacle detection of USVs.☆21Apr 17, 2021Updated 5 years ago
- solve polynomial optimization and generalized moment problem☆16Dec 14, 2015Updated 10 years ago
- Harvard Applied Math 225: Code Examples☆29Jul 28, 2022Updated 3 years ago
- MusicXML in Julia☆14Sep 3, 2024Updated last year
- Version 2 of my MPD webinterface☆21Apr 21, 2015Updated 11 years ago
- Command line utilities to manage iPods (using libgpod), incl ls, cp with auto xcode, rm, edit track meta.☆17Jan 18, 2026Updated 3 months ago
- Draw Julia syntax trees as a graph☆88Feb 16, 2024Updated 2 years ago
- Unified interface for interacting with Git forges☆13Feb 26, 2026Updated 2 months ago
- ROS wrapper for the Oculus M750d Multibeam Echosounder used in the Maritime Robotics Laboratory at KTH.☆13Sep 3, 2021Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Trajectory tracking controllers for micro aerial vehicles☆10Mar 9, 2022Updated 4 years ago
- CLP(BNR) module for SWI-Prolog☆44Feb 24, 2026Updated 2 months ago
- LaTeX and python-powered randomized bingo cards with custom cells.☆13Feb 13, 2022Updated 4 years ago
- Interface for approximate and exact equality☆12Oct 5, 2024Updated last year
- Mask-RCNN applied to DTU Maritime dataset for the autonomous navigation of vessels through image segmentation☆26Jun 7, 2018Updated 7 years ago
- Versioned dictionaries following the mutable-until-shared (Mutts) discipline☆11Jul 29, 2020Updated 5 years ago
- A Julia package to manipulate very small IEEE 754 standard-compliant floating-point numbers.☆12Nov 18, 2025Updated 5 months ago
- Julia Appveyor script☆14Sep 22, 2023Updated 2 years ago
- Generic interface for attaching metadata to stuff.☆13Sep 14, 2025Updated 7 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Flatten Julia types to tuples or vectors, and un-flatten them later☆11Feb 8, 2020Updated 6 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆21Feb 7, 2020Updated 6 years ago
- Catkin workspace containing all relevant behavior tree modules for easy access☆12Apr 2, 2020Updated 6 years ago
- This is a Latex Completer for YouCompleteMe.☆13Jan 4, 2018Updated 8 years ago
- Matrix Lie group on 2D and 3D, and its application☆13Jun 29, 2020Updated 5 years ago
- Templates and custom config for Bryn Mawr College Physics Jupyterhub server☆12Jun 5, 2017Updated 8 years ago
- Julia package for transfer operator spectral methods☆11Aug 14, 2024Updated last year