Software + Compare
Papermill Upstream project repository
Parameterization and execution of notebooks for repeatable computational workflows.
Investigate Does an isolated parameterized notebook run preserve supplied parameters and produce the independently expected deterministic output?
Listing reviewed · source terms apply ↗
Software + Compare
PEFT Upstream project repository
Parameter-efficient model adaptation methods for testing trainable-parameter budgets and adapter composition.
Investigate Does a low-rank adapter preserve the frozen base parameters and produce the same outputs before and after an explicitly supported merge?
Listing reviewed · source terms apply ↗
Software + Compare
pydicom Upstream project repository
Reading, modifying, and writing DICOM medical-imaging metadata and datasets in Python.
Investigate Which explicitly selected metadata elements survive a synthetic DICOM write/read round trip?
Listing reviewed · source terms apply ↗
Software + Compare
PyTensor Upstream project repository
Tensor expression graphs, automatic differentiation, and compilation for numerical computation.
Investigate Do automatic gradients match analytic derivatives across a fixed grid of nonsingular inputs?
Listing reviewed · source terms apply ↗
Software + Compare
PyTorch Upstream project repository
Tensor computation and automatic differentiation framework for constructing controlled learning and gradient experiments.
Investigate Do automatic gradients agree with analytical derivatives for a small well-conditioned scalar objective?
Listing reviewed · source terms apply ↗
Software + Compare
PyTorch Lightning Upstream project repository
Training-loop framework for studying checkpoint restoration, reproducibility and separation of model logic from orchestration.
Investigate Does resuming a tiny deterministic run from a checkpoint match its uninterrupted reference?
Listing reviewed · source terms apply ↗
Software + Compare
Ray Upstream project repository
Distributed execution and machine-learning infrastructure for studying task scheduling, tuning and fault handling.
Investigate Does a small synthetic parameter sweep retain each trial's identity and failure state under a declared retry policy?
Listing reviewed · source terms apply ↗
Software + Compare
Sacred Upstream project repository
Experiment organization and observation tooling for capturing configurations, dependencies and run outcomes.
Investigate Does a controlled failed run preserve its configuration and failure outcome as clearly as a successful run?
Listing reviewed · source terms apply ↗
Software + Compare
SAE Lens Upstream project repository
Sparse-autoencoder research tooling for examining reconstruction, sparsity and feature interventions on neural activations.
Investigate How does a fixed sparsity setting trade reconstruction error against active features on an authored low-dimensional activation set?
Listing reviewed · source terms apply ↗
Software + Compare
Safetensors Upstream project repository
Tensor serialization tooling for studying shape, dtype and byte-level preservation without a pickle-style object format.
Investigate Do small authored tensors round-trip with exact dtype, shape and payload bytes through the selected serializer?
Listing reviewed · source terms apply ↗
Software + Compare
SGLang Upstream project repository
Model-serving and structured-generation tooling for evaluating runtime behavior on controlled language-model workloads.
Investigate Do constrained outputs satisfy a prespecified small grammar under the selected serving backend?
Listing reviewed · source terms apply ↗
Original examples + Compare
Small shortest-path solvers with negative-weight controls Executable Science local pilot drafts
Provide Dijkstra and Bellman–Ford implementations with hand-enumerated reference graphs, explicit negative-edge rejection, and a negative-cycle control.
Investigate Do the implementations respect their input assumptions and return the expected distances on the supplied controls?
Listing reviewed · source terms apply ↗
Recorded license evidence is scoped to each source; it is not a blanket permission or a verification result.