Alternatives and similar repositories for ibex-lib

Users that are interested in ibex-lib are comparing it to the libraries listed below

• cddlib / cddlib
  An efficient implementation of the Double Description Method
  ☆121Updated 7 months ago
• bertiniteam / b2
  Bertini 2.0: The redevelopment of Bertini in C++.
  ☆107Updated 2 weeks ago
• tulip-control / polytope
  Geometric operations on polytopes of any dimension
  ☆79Updated 3 months ago
• osqp / qdldl
  A free LDL factorisation routine
  ☆95Updated 2 weeks ago
• janverschelde / PHCpack
  The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.
  ☆69Updated last week
• hypro / hypro
  HyPro: A C++ state set representation library for the analysis of hybrid systems
  ☆35Updated last month
• OptimoJoe / Optizelle
  Optizelle [op-tuh-zel] is an open source software library designed to solve general purpose nonlinear optimization problems.
  ☆67Updated 5 years ago
• siconos / siconos
  Simulation framework for nonsmooth dynamical systems
  ☆178Updated last month
• pygae / pyganja
  Visualisation library for geometric algebra with cefpython and ganja.js
  ☆54Updated 4 years ago
• cvxopt / chompack
  Library for chordal matrix computations
  ☆25Updated 6 years ago
• nasa / Kodiak
  Library for rigorous verification of non-linear arithmetic
  ☆114Updated last year
• alandefreitas / sympp
  SymPP: A Symbolic Library that compiles itself
  ☆13Updated 4 years ago
• CSCsw / ColPack
  A Graph Coloring Algorithm Package
  ☆63Updated last year
• scipopt / soplex
  Sequential object-oriented simPlex
  ☆70Updated this week
• coin-or / Csdp
  This is the working repository for the CSDP project. CSDP is a solver for semidefinite programming problems. It is a COIN-OR project.
  ☆58Updated 3 years ago
• ga-developers / ga-benchmark
  A benchmark for Geometric Algebra libraries, library generators, and code optimizers.
  ☆22Updated 3 years ago
• cvxgrp / qcml
  A Python parser for generating Python/C/Matlab solver interfaces
  ☆43Updated 8 years ago
• coin-or / ADOL-C
  A Package for Automatic Differentiation of Algorithms Written in C/C++
  ☆159Updated 3 weeks ago
• felixlen / trlib
  Trust Region Subproblem Solver Library
  ☆20Updated last year
• coin-or / Osi
  Open Solver Interface
  ☆60Updated this week
• tulip-control / tulip-control
  Temporal Logic Planning toolbox
  ☆120Updated 3 months ago
• darioizzo / audi
  Header only, C++ library (and the Python pyaudi package) implementing the algebra of Taylor truncated polynomials and a few algorithms us…
  ☆75Updated 8 months ago
• danielesgit / slingen
  Program Generator for Small-Scale Linear Algebra Applications
  ☆29Updated 7 years ago
• joaoleal / CppADCodeGen
  Source Code Generation for Automatic Differentiation using Operator Overloading
  ☆182Updated 2 weeks ago
• scipopt / SCIPpp
  A C++ wrapper for SCIP
  ☆25Updated last week
• YimingYAN / cppipm
  C++ implementation of the Interior Point Methods (CPPIPM)
  ☆44Updated 7 years ago
• stanleybak / hylaa
  Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs
  ☆28Updated 2 years ago
• baggepinnen / DifferentialDynamicProgramming.jl
  A package for solving Differential Dynamic Programming and trajectory optimization problems.
  ☆78Updated 4 years ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆50Updated 2 years ago
• CallForSanity / Gaalop
  Gaalop (Geometic Algebra Algorithms Optimizer) is a software to compile and optimize geometric algebra (GA) expressions into high-level p…
  ☆109Updated 3 months ago