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.
☆52Oct 10, 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.☆91Oct 5, 2026Updated last week
- Visualizer for Intervals and BoxES☆21Jan 5, 2026Updated 9 months ago
- ENSTA Bretagne's MOOS-IvP repository: an autonomy platform based on the MOOS middleware☆22Aug 16, 2017Updated 9 years ago
- GAOL is not Just Another Interval Arithmetic Library☆20Dec 9, 2025Updated 10 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- IntvalPy - a Python interval computation library (interval arithmetic)☆14Apr 25, 2026Updated 5 months ago
- A library for interval computing in Python.☆13Jul 5, 2024Updated 2 years ago
- Extension of MultivariatePolynomials to semialgebraic sets☆24Sep 21, 2026Updated 3 weeks 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.☆20Sep 30, 2026Updated 2 weeks ago
- A* with Artificial Terrain Cost for Search Space Restriction - ROS move_base integrated plugin☆13Jul 20, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Matrices with interval coefficients in Julia☆19Updated this week
- 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☆18Sep 21, 2026Updated 3 weeks ago
- ROS 1 driver for SBG Systems IMU/AHRS/INS units such as ELLIPSE or QUANTA.☆78Oct 17, 2025Updated 11 months ago
- Some useful lenses☆34Updated this week
- Explorations in relations and the algebra of programming☆17Oct 4, 2019Updated 7 years ago
- Information page for running sos solvers☆14Oct 25, 2021Updated 4 years ago
- Catkin workspace containing all relevant behavior tree modules for easy access☆12Apr 2, 2020Updated 6 years 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.
- Hybrid Systems definitions in Julia☆30Dec 15, 2025Updated 9 months ago
- Matrix Lie group on 2D and 3D, and its application☆13Jun 29, 2020Updated 6 years ago
- ☆20May 15, 2026Updated 4 months ago
- Implementation-focused introduction to Lie groups for roboticists☆26Aug 7, 2018Updated 8 years ago
- Simple utilities for debugging julia code☆26Jun 25, 2026Updated 3 months ago
- Multibeam water-column visualization and processing☆35Feb 7, 2026Updated 8 months ago
- ☆11Jan 10, 2019Updated 7 years ago
- ☆13Apr 19, 2022Updated 4 years ago
- Library for construction, manipulation and evaluation of factorable functions☆17Updated this week
- 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.
- Unums 2.0 for Julia☆14Feb 1, 2017Updated 9 years ago
- A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)☆27Oct 5, 2026Updated last week
- ☆31Nov 18, 2023Updated 2 years ago
- ☆45Sep 15, 2022Updated 4 years ago
- ROS2 Integration and Routing: Provide a complete tool to integrate other technologies with ROS2 easily and enable ROS2 on WAN/Internet.☆13May 25, 2021Updated 5 years ago
- An obstacle tracking ROS package for detecting obstacles using 2D LiDAR scan using an Extended object tracking algorithm☆37May 1, 2024Updated 2 years ago
- Perform Model Checking and POMDP Planning from LTL specifications using POMDPs.jl☆15Aug 8, 2024Updated 2 years ago