THIS MIRROR IS DEPRECATED -- New url: https://gitlab.com/libeigen/eigen

Fast and flexible physics-based battery models in Python

a lightweight header-only C++17 library of numerical optimization methods for nonlinear functions based on Eigen

RAFT contains fundamental widely-used algorithms and primitives for machine learning and information retrieval. The algorithms are CUDA-accelerated and form building blocks for more easily writing high performance applications.

Linear Programming for Rust, with a user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solvers.

Solvers for stochastic differential equations which connect with the scientific machine learning (SciML) ecosystem

Clapeyron provides a framework for the development and use of fluid-thermodynamic models, including SAFT, cubic, activity, multi-parameter, and COSMO-SAC.

Ptera Software is a fast, easy-to-use, and open-source software package for analyzing flapping-wing flight.

Polyglot solutions for www.projecteuler.net mathematical challenges

Simulation framework for nonsmooth dynamical systems

Library for VLSI CAD Design Useful parsers and solvers' api are implemented.

Fatrop is a nonlinear optimal control problem solver that aims to be fast, support a broad class of optimal control problems and achieve a high numerical robustness.

This is a Julia package of nonlinear solvers. These codes are used in my book, Solving Nonlinear Equations with Iterative Methods: Solvers and Examples in Julia.

Benchmark for quadratic programming solvers available in Python

An evolutionary computation framework to (automatically) build fast parallel stochastic optimization solvers

NASOQ:Numerically Accurate Sparsity Oriented QP Solver

Delay differential equation (DDE) solvers in Julia for the SciML scientific machine learning ecosystem. Covers neutral and retarded delay differential equations, and differential-algebraic equations.

Constraint Satisfaction Problem Solver for Golang

Easy-to-use linear and non-linear solver

Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.