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.

57 resources · Curated orderClear filters
Software

LiteLLM

Upstream project repository

Model-provider interface and proxy tooling for inspecting request normalization, usage accounting and backend differences.

Investigate Can a local mock provider show whether retries and usage fields remain traceable without issuing any real model calls?

Listing reviewed · source terms apply
Software

llama.cpp

Upstream project repository

C/C++ language-model inference implementation for studying quantization and execution tradeoffs across supported hardware.

Investigate What output deviation and resource changes accompany one fixed quantization choice on an independently licensed tiny model?

Listing reviewed · source terms apply
Software

MLflow

Upstream project repository

Experiment and model lifecycle tooling for preserving parameters, artifacts and evaluation lineage across runs.

Investigate Can an experiment record reconstruct the exact configuration and artifact digest for a chosen synthetic run?

Listing reviewed · source terms apply
Software

more-itertools

Upstream project repository

Additional iterator operations for grouping, windowing, combinatorial enumeration, and stream processing.

Investigate Do windowing and combination utilities agree with direct enumeration on boundary-length sequences?

Listing reviewed · source terms apply
Software

nbconvert

Upstream project repository

Conversion of Jupyter notebooks to other document formats, with optional execution workflows.

Investigate Does a pinned nonexecuting export retain expected cells and escape selected active-content fixtures?

Listing reviewed · source terms apply
Software

nbformat

Upstream project repository

Reading, writing, and validating Jupyter notebook document structures.

Investigate Does a fixed notebook schema reject deliberately malformed structures while preserving valid cell metadata on round trip?

Listing reviewed · source terms apply
Software

NetworkX

Upstream project repository

Graph construction, traversal, structural analysis, and network algorithms in Python.

Investigate Do weighted shortest-path routines match exhaustive simple-path enumeration on bounded positive-weight graphs?

Listing reviewed · source terms apply
Software

NNsight

Upstream project repository

Neural-network inspection and intervention interfaces for tracing internal activations and testing counterfactual computations.

Investigate Can a local toy network distinguish a recorded activation from an intervention that changes its output?

Listing reviewed · source terms apply
Software

Numba

Upstream project repository

Just-in-time compilation of supported Python numerical functions using LLVM.

Investigate Do strict and relaxed floating-point compilation settings change a cancellation-sensitive reduction?

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
Software

Optimum

Upstream project repository

Model optimization integrations for investigating the accuracy and latency consequences of a chosen deployment transformation.

Investigate Does one declared export or optimization path preserve a tiny model's outputs within a frozen tolerance?

Listing reviewed · source terms apply

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