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.
☆51Sep 1, 2026Updated this 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:
- A Python binding for ibex-lib☆15Mar 31, 2022Updated 4 years ago
- IBEX is a C++ library for constraint processing over real numbers.☆88Feb 21, 2026Updated 6 months ago
- Visualizer for Intervals and BoxES☆21Jan 5, 2026Updated 7 months ago
- IntvalPy - a Python interval computation library (interval arithmetic)☆14Apr 25, 2026Updated 4 months ago
- A library for interval computing in Python.☆12Jul 5, 2024Updated 2 years 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.
- Extension of MultivariatePolynomials to semialgebraic sets☆24Jun 21, 2026Updated 2 months ago
- Enclosures of real-valued functions in Julia☆23Updated this week
- Representation of infinity in Julia☆15Jul 24, 2021Updated 5 years ago
- ☆10Mar 11, 2021Updated 5 years ago
- Draw Julia syntax trees as a graph☆88Feb 16, 2024Updated 2 years ago
- A pure Julia SVG generator.☆20Jul 18, 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 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
- 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 2 months ago
- @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
- Explorations in relations and the algebra of programming☆17Oct 4, 2019Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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
- Information page for running sos solvers☆14Oct 25, 2021Updated 4 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
- Dynamically track IR as a graph, using source transformations☆32Mar 3, 2025Updated last year
- 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
- ☆19May 15, 2026Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Simple utilities for debugging julia code☆26Jun 25, 2026Updated 2 months ago
- ☆11Jan 10, 2019Updated 7 years ago
- Course Dependencies☆12Feb 8, 2020Updated 6 years ago
- MultivariatePolynomials implementation using typed variables in Julia☆28Jun 24, 2026Updated 2 months ago
- ☆30Nov 18, 2023Updated 2 years ago
- Library for construction, manipulation and evaluation of factorable functions☆17Aug 1, 2026Updated last month
- ☆44Sep 15, 2022Updated 3 years ago