An open library for your next question. Public pilot
Executable Science
Log inCreate account
THE OPEN LIBRARY

Find your next starting point.

Research, software, data and methods. Inspect the context, compare your options, and take a useful next step.

52 resources · Curated orderClear filters
Software

Haiku

Upstream project repository

Neural-network transformations for JAX, supporting studies of parameter initialization and functional apply behavior.

Investigate Does separating initialization from application preserve a small network's parameter identity and deterministic output?

Listing reviewed · source terms apply
Software

HiGHS

Upstream project repository

Solvers for linear, mixed-integer, and quadratic optimization problems.

Investigate Do returned transportation plans satisfy supply/demand constraints and a matching dual bound?

Listing reviewed · source terms apply
Software

JAX

Upstream project repository

Array transformations and automatic differentiation for examining compilation, vectorization and functional numerical programs.

Investigate Do eager, vectorized and compiled forms of a small differentiable calculation agree under the same dtype policy?

Listing reviewed · source terms apply
Software

Keras

Upstream project repository

Neural-network APIs for examining model behavior across declared computation backends.

Investigate Can the same small model and weights produce consistent predictions across two supported backends?

Listing reviewed · source terms apply
Methods

least_squares

SciPy documentation

A reference for bounded nonlinear least squares, including Jacobians, robust losses, scaling and termination behavior.

Investigate How do robust-loss choice and variable scaling affect parameter recovery and residual error in a controlled contaminated-data fit?

Listing reviewed · source terms apply
Software

lmfit

Upstream project repository

Nonlinear model fitting with named parameters, constraints, and uncertainty-analysis tools.

Investigate How do parameter estimates and residuals change as two synthetic peaks become less separated?

Listing reviewed · source terms apply
Software

Nevergrad

Upstream project repository

Derivative-free optimization methods and benchmark interfaces.

Investigate Which derivative-free optimizers attain lower regret under an identical bounded evaluation budget?

Listing reviewed · source terms apply
Software

NLopt

Upstream project repository

A common interface to nonlinear optimization algorithms, with and without derivatives.

Investigate How do fixed nonlinear optimizers differ in feasibility and stationarity at equal evaluation budgets?

Listing reviewed · source terms apply
Software

OLMo

Upstream project repository

Language-model research training repository for studying configuration transparency and reproducibility of model-building workflows.

Investigate Can a tiny authored-data configuration document every training input, optimizer choice and checkpoint dependency before execution?

Listing reviewed · source terms apply
Software

Optax

Upstream project repository

Gradient transformation and optimization tools for testing optimizer state and update equations.

Investigate Does one fixed optimizer produce the hand-derived first two updates for a scalar quadratic?

Listing reviewed · source terms apply
Methods

Optimization (scipy.optimize)

SciPy documentation

A solver-selection guide spanning local and global optimization, roots, constrained problems, linear programming and assignment.

Investigate Which solver classes satisfy a fixed accuracy and feasibility target on a small declared suite of smooth and constrained problems?

Listing reviewed · source terms apply
Software

Optuna

Upstream project repository

Automated hyperparameter search with trial management, sampling, and pruning methods.

Investigate How do fixed samplers compare after the same number of evaluations on a known multimodal objective?

Listing reviewed · source terms apply

Recorded license evidence is scoped to each source; it is not a blanket permission or a verification result.