Repositories list

• codac

  Public
  Codac is a library for constraint programming over reals, trajectories and sets.

  localizationinterval-analysisconstraint-programming+ 6dynamical-systemsslamstate-estimationmobile-roboticstubesrobotics

  C++

  •

  GNU Lesser General Public License v3.0

  •18•40•9•2•Updated Jan 22, 2025Jan 22, 2025

• eigen

  Public
  Fork of the official Eigen repo: https://gitlab.com/libeigen/eigen

  C++

  •

  Other

  •0•0•0•0•Updated Nov 28, 2024Nov 28, 2024

• 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•13•2•1•Updated Mar 31, 2022Mar 31, 2022