Scientific Software
Updated 8 months ago

AGNI — Peer-reviewed • Rank 3.3 • Science 100%

AGNI: A radiative-convective model for lava planet atmospheres - Published in JOSS (2025)

Updated 8 months ago

proxsuite-nlp • Rank 7.0 • Science 54%

A primal-dual augmented Lagrangian solver for nonlinear programming on manifolds.

Updated 8 months ago

haleqo.jl • Rank 2.6 • Science 57%

HALeqO solver for nonlinear equality-constrained optimization

Updated 8 months ago

NLopt • Rank 16.8 • Science 41%

A Julia interface to the NLopt nonlinear-optimization library

Updated 8 months ago

sagecal • Science 67%

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.

Updated 8 months ago

Boscia • Science 67%

Mixed-Integer Convex Programming: Branch-and-bound with Frank-Wolfe-based convex relaxations

Updated 8 months ago

ExaModels • Science 54%

An algebraic modeling and automatic differentiation tool in Julia Language, specialized for SIMD abstraction of nonlinear programs.

Updated 8 months ago

casos • Science 65%

CaΣoS is a nonlinear optimization-oriented sum-of-squares toolbox based on the symbolic framework of CasADi.