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.
☆52Oct 25, 2026Updated last week
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:
- [not supported anymore] A Python binding for ibex-lib☆15Mar 31, 2022Updated 4 years ago
- IBEX is a C++ library for constraint processing over real numbers.☆93Oct 5, 2026Updated 3 weeks ago
- Visualizer for Intervals and BoxES☆21Jan 5, 2026Updated 9 months ago
- ENSTA Bretagne's MOOS-IvP repository: an autonomy platform based on the MOOS middleware☆23Aug 16, 2017Updated 9 years ago
- repo to store MOOS-IvP official releases☆22Oct 21, 2016Updated 10 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- GAOL is not Just Another Interval Arithmetic Library☆20Dec 9, 2025Updated 10 months ago
- IntvalPy - a Python interval computation library (interval arithmetic)☆14Apr 25, 2026Updated 6 months ago
- A* with Artificial Terrain Cost for Search Space Restriction - ROS move_base integrated plugin☆13Jul 20, 2020Updated 6 years ago
- Linear algebra done rigorously☆41Jun 24, 2026Updated 4 months ago
- nmea 0183 over ethernet protocol dissector for wireshark written in lua☆19Oct 4, 2023Updated 3 years ago
- iilab Indoor LiDAR-based SLAM Dataset Toolkit☆14Feb 25, 2026Updated 8 months ago
- Extension of MultivariatePolynomials to semialgebraic sets☆24Sep 21, 2026Updated last month
- Calculate rigorously the feasible region for a set of real-valued inequalities with Julia☆66May 8, 2026Updated 5 months ago
- Representation of infinity in Julia☆15Jul 24, 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.
- ROS2 Integration and Routing: Provide a complete tool to integrate other technologies with ROS2 easily and enable ROS2 on WAN/Internet.☆13May 25, 2021Updated 5 years ago
- ☆17Sep 9, 2025Updated last year
- Matrices with interval coefficients in Julia☆19Updated this week
- OpenEmbedded layer for scipy (ARCHIVED)☆18Jul 16, 2021Updated 5 years ago
- Draw Julia syntax trees as a graph☆88Feb 16, 2024Updated 2 years ago
- [IROS23] Meta Depth Completion - ResLAN☆19Jul 19, 2023Updated 3 years ago
- Fast and exact geometrical predicates in the Euclidean plane☆27Sep 22, 2025Updated last year
- A pure Julia SVG generator.☆20Sep 30, 2026Updated last month
- Base API optimized for tuples☆18Sep 9, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A Python library for decoding and encoding AIS type 1 messages.☆11Jan 3, 2022Updated 4 years ago
- Explorations in relations and the algebra of programming☆17Oct 4, 2019Updated 7 years ago
- Exact real arithmetic in Julia☆13Feb 8, 2020Updated 6 years ago
- ROS 1 driver for SBG Systems IMU/AHRS/INS units such as ELLIPSE or QUANTA.☆78Oct 17, 2025Updated last year
- A mirror of the CRLibm project from INRIA Forge☆51Oct 1, 2020Updated 6 years ago
- A forward McCormick operator library☆18Oct 19, 2026Updated 2 weeks ago
- The Goby Underwater Autonomy Project Version 3☆33Updated this week
- A package for computing integrals over domains like they are defined in DomainSets.jl.☆22Apr 7, 2026Updated 6 months ago
- ROS package for common items for CCOM's Project 11.☆22Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Library for computer-assisted proofs in dynamical systems☆29Updated this week
- kv - a C++ Library for Verified Numerical Computation☆98Aug 1, 2026Updated 3 months ago
- pycvxset is a Python package for manipulation and visualization of convex sets.☆51Feb 19, 2026Updated 8 months ago
- The SONAR-netCDF4 convention for sonar data☆19Mar 24, 2026Updated 7 months ago
- Hybrid Systems definitions in Julia☆30Dec 15, 2025Updated 10 months ago
- ☆16Aug 30, 2020Updated 6 years ago
- ROS2 node for the Blueprint Oculus front scan sonar.☆23Nov 29, 2023Updated 2 years ago