The Codac library

I am developing the Codac library: a C++/Python project providing tools to guarantee computations over intervals of reals, sets and trajectories.
See more on the official webpage.