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 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:
- IBEX is a C++ library for constraint processing over real numbers.☆89Feb 21, 2026Updated 3 months ago
- Visualizer for Intervals and BoxES☆21Jan 5, 2026Updated 5 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
- GAOL is not Just Another Interval Arithmetic Library☆20Dec 9, 2025Updated 6 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A library for interval computing in Python.☆12Jul 5, 2024Updated last year
- Extension of MultivariatePolynomials to semialgebraic sets☆22Apr 19, 2026Updated last month
- Enclosures of real-valued functions in Julia☆23Updated this week
- CMake wrapper for installing LibTorch (PyTorch C++ API)☆11Jan 13, 2026Updated 5 months ago
- MATLAB code for solving the Euclidean Distance Matrix completion problem.☆10Nov 20, 2017Updated 8 years ago
- 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
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Draw Julia syntax trees as a graph☆88Feb 16, 2024Updated 2 years ago
- Matrices with interval coefficients in Julia☆19Updated this week
- Rigorous floating-point calculations with interval arithmetic in Julia☆85Nov 26, 2025Updated 6 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 7 months ago
- ☆28Nov 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Some useful lenses☆35Jun 6, 2026Updated last week
- @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
- Create Draw.io (diagrams.net) drawings, with Python☆14Jul 18, 2023Updated 2 years ago
- Explorations in relations and the algebra of programming☆17Oct 4, 2019Updated 6 years ago
- Calculate rigorously the feasible region for a set of real-valued inequalities with Julia☆67May 8, 2026Updated last month
- kv - a C++ Library for Verified Numerical Computation☆96May 30, 2026Updated 2 weeks 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
- 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.
- Catkin workspace containing all relevant behavior tree modules for easy access☆12Apr 2, 2020Updated 6 years ago
- Multibeam water-column visualization and processing☆33Feb 7, 2026Updated 4 months ago
- Implementation-focused introduction to Lie groups for roboticists☆26Aug 7, 2018Updated 7 years ago
- Factory Calibration for DepthAI Stereo-capable models.☆19Jan 5, 2024Updated 2 years ago
- Simple utilities for debugging julia code☆26Dec 13, 2020Updated 5 years ago
- ☆13Apr 19, 2022Updated 4 years ago
- ☆44Sep 15, 2022Updated 3 years ago