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.
☆51Jul 29, 2026Updated 2 weeks ago
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 5 months ago
- Visualizer for Intervals and BoxES☆21Jan 5, 2026Updated 7 months 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 8 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.
- A library for interval computing in Python.☆12Jul 5, 2024Updated 2 years ago
- CMake wrapper for installing LibTorch (PyTorch C++ API)☆11Jul 28, 2026Updated 2 weeks ago
- Enclosures of real-valued functions in Julia☆23Jul 11, 2026Updated last month
- CLion code style settings matching ROS 2 style.☆15Jun 9, 2024Updated 2 years ago
- [IROS23] Meta Depth Completion - ResLAN☆19Jul 19, 2023Updated 3 years ago
- Draw Julia syntax trees as a graph☆88Feb 16, 2024Updated 2 years ago
- A* with Artificial Terrain Cost for Search Space Restriction - ROS move_base integrated plugin☆13Jul 20, 2020Updated 6 years ago
- Matrices with interval coefficients in Julia☆19Jul 9, 2026Updated last month
- OpenEmbedded layer for scipy (ARCHIVED)☆18Jul 16, 2021Updated 5 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.
- Pluggin and utils for viewing voxelgrids in RViz☆16May 10, 2021Updated 5 years ago
- Base API optimized for tuples☆18Sep 9, 2020Updated 5 years ago
- Rigorous floating-point calculations with interval arithmetic in Julia☆84Nov 26, 2025Updated 8 months 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
- A forward McCormick operator library☆18Jun 23, 2026Updated last month
- @yield-based syntax for iterating over collections—foldl for humans™☆25Jan 15, 2021Updated 5 years ago
- Some useful lenses☆34Updated this week
- Exact real arithmetic in Julia☆13Feb 8, 2020Updated 6 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.
- kv - a C++ Library for Verified Numerical Computation☆98Aug 1, 2026Updated last week
- Calculate rigorously the feasible region for a set of real-valued inequalities with Julia☆66May 8, 2026Updated 3 months ago
- A package for computing integrals over domains like they are defined in DomainSets.jl.☆22Apr 7, 2026Updated 4 months ago
- The SONAR-netCDF4 convention for sonar data☆18Mar 24, 2026Updated 4 months 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 8 months ago
- Matrix Lie group on 2D and 3D, and its application☆13Jun 29, 2020Updated 6 years ago
- Factory Calibration for DepthAI Stereo-capable models.☆20Jan 5, 2024Updated 2 years ago
- Implementation-focused introduction to Lie groups for roboticists☆26Aug 7, 2018Updated 8 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.
- ☆19May 15, 2026Updated 2 months ago
- Multibeam water-column visualization and processing☆33Feb 7, 2026Updated 6 months ago
- Course Dependencies☆12Feb 8, 2020Updated 6 years ago
- MultivariatePolynomials implementation using typed variables in Julia☆28Jun 24, 2026Updated last month
- ☆29Nov 18, 2023Updated 2 years ago
- Library for construction, manipulation and evaluation of factorable functions☆16Aug 1, 2026Updated last week
- ☆13Apr 19, 2022Updated 4 years ago