Research, software, data and methods. Inspect the context, compare your options, and take a useful next step.
Upstream project repository
Data and pipeline versioning tools for reproducible computational projects.
Investigate Does changing one declared input invalidate exactly the expected stages of a fixed pipeline graph?
Upstream project repository
Nested sampling and dynamic nested sampling for Bayesian evidence and posterior exploration.
Investigate How accurately does nested sampling estimate evidence for a fixed bounded Gaussian likelihood?
Upstream project repository
A numerical solver for convex conic optimization problems.
Investigate Does a small norm-constrained model return a candidate consistent with known feasibility and objective bounds?
Upstream project repository
Ensemble Markov-chain Monte Carlo sampling for probability distributions.
Investigate Do ensemble samples recover known Gaussian moments under a prespecified run length and convergence diagnostic?
Upstream project repository
Exploratory spatial statistics for autocorrelation and spatial pattern analysis.
Investigate Does a global spatial-autocorrelation statistic match its explicit matrix formula on a fixed lattice?
Upstream project repository
Code-generation evaluation tooling and expanded testing resources for studying test coverage and result reproducibility.
Investigate Can a hand-authored incorrect solution pass a weak fixture but fail a separately specified edge-case test?
Upstream project repository
Evaluation metric interfaces for examining aggregation semantics and reproducibility across batches.
Investigate Do a selected metric's batch updates and single-pass computation agree on a tiny authored fixture?
Upstream project repository
Common filesystem interfaces and utilities for Python data-access libraries.
Investigate Do a selected local filesystem interface's seek and range reads match direct byte slicing?
Upstream project repository
Finite-volume partial differential equation solving for transport and related numerical models.
Investigate How do grid and time-step refinement affect error in a one-dimensional diffusion problem?
Upstream project repository
Attention-kernel implementations for comparing memory-efficient computation with a directly specified attention reference.
Investigate Does one supported attention kernel match dense scaled dot-product attention across mask and sequence-length edge cases?
Upstream project repository
Neural-network tooling built around JAX for investigating explicit state, transformations and model composition.
Investigate Does a tiny stateful model preserve its declared parameter/state boundary through a training update and checkpoint?
Upstream project repository
Geospatial tabular data operations that combine labeled tables and geometry.
Investigate Do spatial joins return the expected point-polygon pairs under a fixed boundary predicate?
Recorded license evidence is scoped to each source; it is not a blanket permission or a verification result.