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.

75 resources · Curated orderClear filters
Software

scikit-fem

Upstream project repository

Finite-element assembly and related numerical tools implemented for Python workflows.

Investigate Does mesh refinement achieve the expected error trend for a manufactured Poisson solution?

Listing reviewed · source terms apply
Software

SfePy

Upstream project repository

Finite-element solution of systems of partial differential equations.

Investigate Do displacement and stress errors decrease under refinement for a fully specified linear-elasticity fixture?

Listing reviewed · source terms apply
Software

SimPy

Upstream project repository

Process-based discrete-event simulation of interacting activities and shared resources.

Investigate Does a single-server queue simulation match a hand-computed event schedule before stochastic assumptions are introduced?

Listing reviewed · source terms apply
Software

SimuPy

Upstream project repository

Simulation tools for interconnected dynamical systems and block-diagram models.

Investigate Does a small block-diagram simulation match the independently assembled linear-system response?

Listing reviewed · source terms apply
Original examples

Stationary-distribution calibration for a two-state chain

Executable Science local pilot drafts

Compare a known stationary distribution with matrix iteration and occupation frequencies from a deterministic-seed Markov-chain simulation.

Investigate Do the two computational routes approach the same analytical stationary distribution?

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

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
Datasets

Synthetic Circle Data Set

UCI Machine Learning Repository

Constructed circular point groups for examining the limits of distance-based clustering.

Investigate Can clustering methods recover the documented circle groups, and how sensitive are results to distance metric and scale?

Listing reviewed · source terms apply
Datasets

Synthetic Control Chart Time Series

UCI Machine Learning Repository

Generated process-control sequences for comparing anomaly-shape classification methods.

Investigate Which synthetic control-chart patterns are confused by a small feature-based baseline?

Listing reviewed · source terms apply
Datasets

Tic-Tac-Toe Endgame

UCI Machine Learning Repository

Completed board states for testing learned combinatorial concepts against inspectable rules.

Investigate Can a tic-tac-toe classifier generalize when symmetry-equivalent boards remain in the same split?

Listing reviewed · source terms apply
Methods

Time Series Analysis by State Space Methods statespace

statsmodels documentation

A state-space modeling guide covering filtering, smoothing, latent-state uncertainty, time-series models and residual diagnostics.

Investigate Can a small linear-Gaussian model recover known Kalman-filter states and covariances under missing observations?

Listing reviewed · source terms apply
Datasets

Trains

UCI Machine Learning Repository

Relational train descriptions for investigating compact logical classification rules.

Investigate Can the published train labels be modeled with a minimal auditable rule set under leave-one-out evaluation?

Listing reviewed · source terms apply

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