Skip to content
Change the repository type filter

All

    Repositories list

    • 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.
      C++
      2149121Updated Jan 9, 2026Jan 9, 2026
    • eigen

      Public
      Fork of the official Eigen repo: https://gitlab.com/libeigen/eigen
      C++
      1000Updated Oct 20, 2025Oct 20, 2025
    • A simple way to use Codac with Python online.
      Python
      1200Updated Apr 11, 2022Apr 11, 2022
    • pyIbex

      Public
      A Python binding for ibex-lib
      C++
      81421Updated Mar 31, 2022Mar 31, 2022