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.