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.
☆49Feb 12, 2026Updated 2 weeks ago
Alternatives and similar repositories for codac
Users that are interested in codac are comparing it to the libraries listed below
Sorting:
- A Python binding for ibex-lib☆14Mar 31, 2022Updated 3 years ago
- Visualizer for Intervals and BoxES☆21Jan 5, 2026Updated last month
- GAOL is not Just Another Interval Arithmetic Library☆19Dec 9, 2025Updated 2 months ago
- Enclosures of real-valued functions in Julia☆23Feb 21, 2026Updated last week
- repo to store MOOS-IvP official releases☆22Oct 21, 2016Updated 9 years ago
- ☆10Mar 11, 2021Updated 4 years ago
- ☆11Jan 10, 2019Updated 7 years ago
- A* with Artificial Terrain Cost for Search Space Restriction - ROS move_base integrated plugin☆13Jul 20, 2020Updated 5 years ago
- IntvalPy - a Python interval computation library☆14Jan 25, 2026Updated last month
- Implementation-focused introduction to Lie groups for roboticists☆25Aug 7, 2018Updated 7 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Feb 7, 2020Updated 6 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
- Exact real arithmetic in Julia☆13Feb 8, 2020Updated 6 years ago
- Hybrid Systems definitions in Julia☆30Dec 15, 2025Updated 2 months ago
- CMake wrapper for installing LibTorch (PyTorch C++ API)☆11Jan 13, 2026Updated last month
- Draw Julia syntax trees as a graph☆87Feb 16, 2024Updated 2 years ago
- Orocos ROS 2 integration libraries and tools☆37Sep 7, 2023Updated 2 years ago
- RMF/RoMi-H fleet adapter for the MiR API☆15Dec 26, 2025Updated 2 months ago
- Lightweight control environment for Franka robot☆13Mar 16, 2022Updated 3 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 4 years ago
- Explorations in relations and the algebra of programming☆17Oct 4, 2019Updated 6 years ago
- Representation of infinity in Julia☆15Jul 24, 2021Updated 4 years ago
- A bi-directional ROS2-ROS1 communication way☆35Oct 14, 2022Updated 3 years ago
- Information page for running sos solvers☆14Oct 25, 2021Updated 4 years ago
- Course Dependencies☆12Feb 8, 2020Updated 6 years ago
- Branch and prune interface for Julia☆16Feb 13, 2023Updated 3 years ago
- Rigorous Global Branch-and-Bound Optimizer☆24Dec 13, 2024Updated last year
- Perform Model Checking and POMDP Planning from LTL specifications using POMDPs.jl☆15Aug 8, 2024Updated last year
- Unums 2.0 for Julia☆13Feb 1, 2017Updated 9 years ago
- An obstacle tracking ROS package for detecting obstacles using 2D LiDAR scan using an Extended object tracking algorithm☆36May 1, 2024Updated last year
- Calculate rigorously the feasible region for a set of real-valued inequalities with Julia☆67Dec 9, 2024Updated last year
- Some useful lenses☆35Feb 21, 2026Updated last week
- ROS library for spatial transformations with uncertainty (MRPT wrapper)☆17Oct 25, 2025Updated 4 months ago
- CLP(BNR) module for SWI-Prolog☆44Feb 24, 2026Updated last week
- A Julia package to approximate multivariate continuous functions using Smolyak's method.☆18Dec 15, 2025Updated 2 months ago
- ☆43Sep 15, 2022Updated 3 years ago
- Code for "Learning Inductive Biases with Simple Neural Networks" (Feinman & Lake, 2018).☆22Jan 8, 2019Updated 7 years ago
- Arithmetic with small and with very large rationals is made fast.☆23Feb 9, 2026Updated 3 weeks ago