All

4 repositories

codac
Public
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.
localization robotics interval-analysis constraint-programming dynamical-systems slam state-estimation mobile-robotics tubes
C++
•
GNU Lesser General Public License v3.0
•20•45•13•2•Updated Sep 11, 2025Sep 11, 2025
eigen
Public
Fork of the official Eigen repo: https://gitlab.com/libeigen/eigen
C++
•
Mozilla Public License 2.0
•1•0•0•0•Updated May 29, 2025May 29, 2025
codac-replit
Public
A simple way to use Codac with Python online.
Python
•1•2•0•0•Updated Apr 11, 2022Apr 11, 2022
pyIbex
Public
A Python binding for ibex-lib
C++
•
GNU Lesser General Public License v3.0
•8•14•2•1•Updated Mar 31, 2022Mar 31, 2022