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.

437 resources · Curated orderClear filters
Software

statsmodels

Upstream project repository

Statistical model estimation, hypothesis tests, diagnostics, and time-series analysis.

Investigate How do reported least-squares coefficients and standard errors behave as synthetic regressors become nearly collinear?

Listing reviewed · source terms apply
Datasets

Steel Industry Energy Consumption

UCI Machine Learning Repository

Industrial electricity measurements for auditing calendar-aware energy forecasts.

Investigate Does a simple seasonal model match a richer steel-industry demand model on the final time block?

Listing reviewed · source terms apply
Datasets

Steel Plates Faults

UCI Machine Learning Repository

Steel-surface fault descriptors for inspecting industrial multiclass prediction.

Investigate Which steel-fault classes remain difficult after train-only scaling and class-balanced reporting?

Listing reviewed · source terms apply
Original examples

Step refinement for explicit Euler decay

Executable Science local pilot drafts

Integrate y'=-y from zero to one at five resolutions and compare each final value with the analytical exponential solution.

Investigate How does the final-time error change when the step size is halved?

Listing reviewed · source terms apply
Datasets

StoneFlakes

UCI Machine Learning Repository

Stone-artifact measurements for investigating small-sample archaeological classification.

Investigate How stable are stone-flake group distinctions under leave-one-artifact-out evaluation?

Listing reviewed · source terms apply
Original examples

Streaming reservoir sampling with marginal-frequency checks

Executable Science local pilot drafts

Implement bounded-memory reservoir sampling and record sample integrity plus marginal inclusion frequencies across a fixed-seed simulation.

Investigate Does the sampler preserve sample size and approach the known per-item inclusion probability?

Listing reviewed · source terms apply
Original examples

Summation with a large dynamic range

Executable Science local pilot drafts

Compare sequential sum and math.fsum on a repeated cancellation pattern, with a Fraction reference for the exact represented inputs.

Investigate Which summation strategy preserves the small contributions in this adversarial finite sequence?

Listing reviewed · source terms apply
Datasets

Superconductivty Data

UCI Machine Learning Repository

Material-composition descriptors and transition temperatures for investigating materials prediction.

Investigate How does superconducting-temperature error change under composition-grouped splitting?

Listing reviewed · source terms apply
Datasets

Swarm Behaviour

UCI Machine Learning Repository

Agent-swarm descriptors for studying emergent-state recognition in simulation data.

Investigate Can a swarm-state model generalize to withheld simulation parameter settings?

Listing reviewed · source terms apply
Software

SWE-agent

Upstream project repository

Agent tooling for interacting with code repositories and attempting software engineering tasks through a controlled interface.

Investigate Does a deterministic toy repository expose whether an agent's claimed edit matches the actual patch and test evidence?

Listing reviewed · source terms apply
Software

SWE-bench

Upstream project repository

Software issue-resolution benchmark and evaluation tooling for studying patch assessment and reproducibility.

Investigate Can one explicitly licensed fixture demonstrate that patch application and test-result collection preserve the original issue/task identity?

Listing reviewed · source terms apply
Software

SymPy

Upstream project repository

Symbolic expressions, algebra, calculus, and mathematical transformations in Python.

Investigate Do symbolic derivatives agree with an independent quotient-rule construction on nonsingular rational test functions?

Listing reviewed · source terms apply

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