Projects in Awesome Lists tagged with interval-analysis
A curated list of projects in awesome lists tagged with interval-analysis .
https://github.com/codac-team/codac
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.
constraint-programming dynamical-systems interval-analysis localization mobile-robotics robotics slam state-estimation tubes
Last synced: 02 Apr 2026
https://github.com/pragmatwice/codepunk
[WIP] Interval Analysis on LLVM IR
abstract-interpretation interval-analysis llvm static-analysis
Last synced: 15 Apr 2025
https://github.com/cvanaret/categorical.jl
Julia prototype for solving mixed categorical optimization problems to global optimality
branch-and-bound catalog-constraints categorical-optimization constraint-programming contractor filtering-algorithm global-optimization global-optimization-algorithms interval-analysis julia
Last synced: 23 Aug 2025
https://github.com/vladimir-skvortsov/spbstu-interval-anylysis
Лабораторные работы по дисциплине «интервальный анализ».
data-structures interval interval-analysis interval-arithmetic math python range
Last synced: 16 Apr 2026
