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

Computational complexes labs (St. Petersburg Polytechnic State University)

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":

KANISA ('think'/'réfléchir'): A library for advanced computational studies in optimisation, decision analytics, numerical analysis, dynamic systems and machine learning / Une bibliothèque pour les études computationnelles avancées en optimisation, analyse décisionelle et numérique, systèmes dynamiques et apprentissage automatique

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

Julia prototype for solving mixed categorical optimization problems to global optimality

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