AGNI
AGNI: A radiative-convective model for lava planet atmospheres - Published in JOSS (2025)
uno
A next-gen SQP & barrier solver for nonlinearly constrained optimization
proxsuite-nlp
A primal-dual augmented Lagrangian solver for nonlinear programming on manifolds.
pyrddlgym-gurobi
Gurobi compilation of RDDL description files to mixed-integer programs, and optimization tools.
symbolfit
Automatic parametric modeling with symbolic regression [Comput Softw Big Sci 9, 12 (2025)]
bboptpy
Powerful and scalable black-box optimization algorithms for Python and C++.
sagecal
SAGECal is a fast, memory efficient and GPU accelerated radio interferometric calibration program. It supports all source models including points, Gaussians and Shapelets. Distributed calibration using MPI and consensus optimization is enabled. Both spectral and spatial priors can be used as constraints. Tools to build/restore sky models are included.
pyrddlgym-jax
JAX compilation of RDDL description files, and a differentiable planner in JAX.
Boscia
Mixed-Integer Convex Programming: Branch-and-bound with Frank-Wolfe-based convex relaxations
ExaModels
An algebraic modeling and automatic differentiation tool in Julia Language, specialized for SIMD abstraction of nonlinear programs.
casos
CaΣoS is a nonlinear optimization-oriented sum-of-squares toolbox based on the symbolic framework of CasADi.