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.
☆49Apr 27, 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.☆87Feb 21, 2026Updated 2 months ago
- Visualizer for Intervals and BoxES☆21Jan 5, 2026Updated 4 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☆19Dec 9, 2025Updated 4 months 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.
- IntvalPy - a Python interval computation library (interval arithmetic)☆14Apr 25, 2026Updated last week
- A library for interval computing in Python.☆12Jul 5, 2024Updated last year
- Extension of MultivariatePolynomials to semialgebraic sets☆22Apr 19, 2026Updated 2 weeks ago
- Enclosures of real-valued functions in Julia☆23Apr 21, 2026Updated 2 weeks 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 4 years ago
- 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.
- Draw Julia syntax trees as a graph☆88Feb 16, 2024Updated 2 years ago
- A pure Julia SVG generator.☆20Jul 18, 2024Updated last year
- Matrices with interval coefficients in Julia☆19Apr 21, 2026Updated 2 weeks ago
- OpenEmbedded layer for scipy (ARCHIVED)☆18Jul 16, 2021Updated 4 years ago
- Rigorous floating-point calculations with interval arithmetic in Julia☆85Nov 26, 2025Updated 5 months 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 6 months ago
- ☆28Nov 18, 2023Updated 2 years ago
- Some useful lenses☆35Apr 28, 2026Updated last week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- @yield-based syntax for iterating over collections—foldl for humans™☆25Jan 15, 2021Updated 5 years ago
- Explorations in relations and the algebra of programming☆17Oct 4, 2019Updated 6 years ago
- A forward McCormick operator library☆18Apr 27, 2026Updated last week
- Calculate rigorously the feasible region for a set of real-valued inequalities with Julia☆67Apr 20, 2026Updated 2 weeks ago
- ☆11Jan 10, 2019Updated 7 years ago
- A package for computing integrals over domains like they are defined in DomainSets.jl.☆22Apr 7, 2026Updated 3 weeks ago
- Catkin workspace containing all relevant behavior tree modules for easy access☆12Apr 2, 2020Updated 6 years ago
- Hybrid Systems definitions in Julia☆30Dec 15, 2025Updated 4 months ago
- Matrix Lie group on 2D and 3D, and its application☆13Jun 29, 2020Updated 5 years ago
- 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.
- 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
- Simple utilities for debugging julia code☆26Dec 13, 2020Updated 5 years ago
- Course Dependencies☆12Feb 8, 2020Updated 6 years ago
- MultivariatePolynomials implementation using typed variables in Julia☆28Apr 22, 2026Updated last week
- [IEEE RA-L 2024] This repository contains the implementation code for the paper "P-GAT : Pose-Graph Attentional Network for Lidar Place R…☆30Jan 25, 2024Updated 2 years ago
- Unums 2.0 for Julia☆13Feb 1, 2017Updated 9 years ago