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.
☆51Jun 3, 2026Updated last month
Alternatives and similar repositories for codac
Users that are interested in codac are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Python binding for ibex-lib☆15Mar 31, 2022Updated 4 years ago
- IBEX is a C++ library for constraint processing over real numbers.☆89Feb 21, 2026Updated 4 months ago
- Visualizer for Intervals and BoxES☆21Jan 5, 2026Updated 6 months ago
- ENSTA Bretagne's MOOS-IvP repository: an autonomy platform based on the MOOS middleware☆22Aug 16, 2017Updated 8 years ago
- repo to store MOOS-IvP official releases☆22Oct 21, 2016Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- GAOL is not Just Another Interval Arithmetic Library☆20Dec 9, 2025Updated 6 months ago
- IntvalPy - a Python interval computation library (interval arithmetic)☆14Apr 25, 2026Updated 2 months ago
- A library for interval computing in Python.☆12Jul 5, 2024Updated 2 years ago
- Extension of MultivariatePolynomials to semialgebraic sets☆22Jun 21, 2026Updated 2 weeks ago
- Enclosures of real-valued functions in Julia☆23Jun 27, 2026Updated last week
- Representation of infinity in Julia☆15Jul 24, 2021Updated 4 years ago
- ☆10Mar 11, 2021Updated 5 years ago
- [IROS23] Meta Depth Completion - ResLAN☆19Jul 19, 2023Updated 2 years ago
- Pluggin and utils for viewing voxelgrids in RViz☆16May 10, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Matrices with interval coefficients in Julia☆19Jun 22, 2026Updated last week
- OpenEmbedded layer for scipy (ARCHIVED)☆18Jul 16, 2021Updated 4 years ago
- Rigorous floating-point calculations with interval arithmetic in Julia☆84Nov 26, 2025Updated 7 months ago
- Base API optimized for tuples☆18Sep 9, 2020Updated 5 years ago
- A Python library for decoding and encoding AIS type 1 messages.☆11Jan 3, 2022Updated 4 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆21Feb 7, 2020Updated 6 years ago
- ROS 1 driver for SBG Systems IMU/AHRS/INS units such as ELLIPSE or QUANTA.☆78Oct 17, 2025Updated 8 months ago
- ☆29Nov 18, 2023Updated 2 years ago
- A* with Artificial Terrain Cost for Search Space Restriction - ROS move_base integrated plugin☆13Jul 20, 2020Updated 5 years 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.
- @yield-based syntax for iterating over collections—foldl for humans™☆25Jan 15, 2021Updated 5 years ago
- Exact real arithmetic in Julia☆13Feb 8, 2020Updated 6 years ago
- Explorations in relations and the algebra of programming☆17Oct 4, 2019Updated 6 years ago
- A forward McCormick operator library☆18Jun 23, 2026Updated last week
- kv - a C++ Library for Verified Numerical Computation☆97May 30, 2026Updated last month
- ☆11Jan 10, 2019Updated 7 years ago
- A package for computing integrals over domains like they are defined in DomainSets.jl.☆22Apr 7, 2026Updated 2 months ago
- Information page for running sos solvers☆14Oct 25, 2021Updated 4 years ago
- Catkin workspace containing all relevant behavior tree modules for easy access☆12Apr 2, 2020Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Matrix Lie group on 2D and 3D, and its application☆13Jun 29, 2020Updated 6 years ago
- Hybrid Systems definitions in Julia☆30Dec 15, 2025Updated 6 months ago
- Multibeam water-column visualization and processing☆33Feb 7, 2026Updated 4 months ago
- Dynamically track IR as a graph, using source transformations☆32Mar 3, 2025Updated last year
- Implementation-focused introduction to Lie groups for roboticists☆26Aug 7, 2018Updated 7 years ago
- Factory Calibration for DepthAI Stereo-capable models.☆20Jan 5, 2024Updated 2 years ago
- Simple utilities for debugging julia code☆26Jun 25, 2026Updated last week