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.

[WIP] Interval Analysis on LLVM IR

Another program analyzer, that performs static Value and Interval analysis of C like UNRELIABLE programs

A python port of the OpenCossan Interval Predictor Model toolbox

An interval library for sound and complete solution of ordinary differential equation (ODE) initial value problems (IVPs) from the paper "Recursive solution of initial value problems with temporal discretization":

Julia prototype for solving mixed categorical optimization problems to global optimality

Code and Datasets accompanying the paper titled "Robust optimization for solving the parameter estimation problem through interval analysis using actual data"

Computational complexes labs (St. Petersburg Polytechnic State University)

Лабораторные работы по дисциплине «интервальный анализ».