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.
☆49Mar 20, 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☆14Mar 31, 2022Updated 3 years ago
- IBEX is a C++ library for constraint processing over real numbers.☆86Feb 21, 2026Updated last month
- Visualizer for Intervals and BoxES☆21Jan 5, 2026Updated 2 months ago
- ENSTA Bretagne's MOOS-IvP repository: an autonomy platform based on the MOOS middleware☆22Aug 16, 2017Updated 8 years ago
- GAOL is not Just Another Interval Arithmetic Library☆19Dec 9, 2025Updated 3 months 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 library for interval computing in Python.☆12Jul 5, 2024Updated last year
- CMake wrapper for installing LibTorch (PyTorch C++ API)☆11Jan 13, 2026Updated 2 months 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
- 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☆19Mar 10, 2026Updated 2 weeks 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.
- OpenEmbedded layer for scipy (ARCHIVED)☆18Jul 16, 2021Updated 4 years ago
- Rigorous floating-point calculations with interval arithmetic in Julia☆85Nov 26, 2025Updated 4 months ago
- Base API optimized for tuples☆19Sep 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* with Artificial Terrain Cost for Search Space Restriction - ROS move_base integrated plugin☆13Jul 20, 2020Updated 5 years ago
- ☆28Nov 18, 2023Updated 2 years ago
- Some useful lenses☆35Mar 12, 2026Updated 2 weeks ago
- @yield-based syntax for iterating over collections—foldl for humans™☆25Jan 15, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- 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
- A forward McCormick operator library☆18Feb 26, 2026Updated last month
- Calculate rigorously the feasible region for a set of real-valued inequalities with Julia☆67Dec 9, 2024Updated last year
- A package for computing integrals over domains like they are defined in DomainSets.jl.☆22Mar 24, 2025Updated last year
- kv - a C++ Library for Verified Numerical Computation☆94Mar 16, 2026Updated last week
- ☆11Jan 10, 2019Updated 7 years ago
- Catkin workspace containing all relevant behavior tree modules for easy access☆12Apr 2, 2020Updated 5 years ago
- Matrix Lie group on 2D and 3D, and its application☆14Jun 29, 2020Updated 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.
- Multibeam water-column visualization and processing☆30Feb 7, 2026Updated last month
- 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
- Factory Calibration for DepthAI Stereo-capable models.☆19Jan 5, 2024Updated 2 years ago
- MultivariatePolynomials implementation using typed variables in Julia☆27Mar 14, 2026Updated last week
- ☆43Sep 15, 2022Updated 3 years ago
- Course Dependencies☆12Feb 8, 2020Updated 6 years ago