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 21, 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.☆89Feb 21, 2026Updated 5 months ago
- Visualizer for Intervals and BoxES☆21Jan 5, 2026Updated 6 months ago
- ENSTA Bretagne's MOOS-IvP repository: an autonomy platform based on the MOOS middleware☆22Aug 16, 2017Updated 8 years ago
- repo to store MOOS-IvP official releases☆22Oct 21, 2016Updated 9 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- GAOL is not Just Another Interval Arithmetic Library☆20Dec 9, 2025Updated 7 months ago
- A library for interval computing in Python.☆12Jul 5, 2024Updated 2 years ago
- CMake wrapper for installing LibTorch (PyTorch C++ API)☆11Jan 13, 2026Updated 6 months ago
- Enclosures of real-valued functions in Julia☆23Jul 11, 2026Updated 2 weeks ago
- MATLAB code for solving the Euclidean Distance Matrix completion problem.☆10Nov 20, 2017Updated 8 years ago
- Representation of infinity in Julia☆15Jul 24, 2021Updated 5 years ago
- ☆10Mar 11, 2021Updated 5 years ago
- [IROS23] Meta Depth Completion - ResLAN☆19Jul 19, 2023Updated 3 years ago
- A pure Julia SVG generator.☆20Jul 18, 2024Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Base API optimized for tuples☆18Sep 9, 2020Updated 5 years ago
- Rigorous floating-point calculations with interval arithmetic in Julia☆84Nov 26, 2025Updated 7 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
- ROS 1 driver for SBG Systems IMU/AHRS/INS units such as ELLIPSE or QUANTA.☆78Oct 17, 2025Updated 9 months ago
- Exact real arithmetic in Julia☆13Feb 8, 2020Updated 6 years ago
- kv - a C++ Library for Verified Numerical Computation☆98Jun 28, 2026Updated 3 weeks ago
- Explorations in relations and the algebra of programming☆17Oct 4, 2019Updated 6 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.
- Code for "Learning Inductive Biases with Simple Neural Networks" (Feinman & Lake, 2018).☆22Jan 8, 2019Updated 7 years ago
- Calculate rigorously the feasible region for a set of real-valued inequalities with Julia☆66May 8, 2026Updated 2 months ago
- A package for computing integrals over domains like they are defined in DomainSets.jl.☆22Apr 7, 2026Updated 3 months ago
- Information page for running sos solvers☆14Oct 25, 2021Updated 4 years ago
- The SONAR-netCDF4 convention for sonar data☆18Mar 24, 2026Updated 4 months ago
- Hybrid Systems definitions in Julia☆30Dec 15, 2025Updated 7 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
- Implementation-focused introduction to Lie groups for roboticists☆26Aug 7, 2018Updated 7 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.
- Simple utilities for debugging julia code☆26Jun 25, 2026Updated last month
- 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☆16Updated this week
- ☆44Sep 15, 2022Updated 3 years ago
- 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.)☆26Aug 12, 2025Updated 11 months ago