Research, software, data and methods. Inspect the context, compare your options, and take a useful next step.
Upstream project repository
Bioinformatics tools for sequence data, biological file formats, and related analyses.
Investigate Do selected sequence operations preserve declared alphabet and identifier semantics on a generated FASTA fixture?
Upstream project repository
Tools for computational biology, including sequence and molecular-structure analysis.
Investigate Does structural alignment recover a known rigid transform for a nondegenerate synthetic point set?
Upstream project repository
Low-precision tensor and optimizer components for investigating memory and numerical-error tradeoffs.
Investigate How does one supported quantization configuration change a small fixed matrix product relative to a high-precision reference?
Upstream project repository
Specialized array reductions and moving-window numerical operations.
Investigate Do moving means follow the documented minimum-count and missing-value rules on short arrays?
Upstream project repository
Thermodynamics, chemical kinetics, and transport calculations for reacting systems.
Investigate Does a bounded kinetic simulation conserve the declared elemental inventory within prespecified tolerances?
Upstream project repository
Model interpretability algorithms for checking attribution behavior against simple functions with known contributions.
Investigate Does a selected attribution method recover known contributions for a linear model under a fixed baseline?
Upstream project repository
Categorical-variable encoders for machine-learning preprocessing.
Investigate Do selected encoders apply declared unseen-category behavior without exposing held-out target values?
Upstream project repository
Processing steps for CCD astronomical images, including calibration and image combination.
Investigate Does a fixed CCD calibration sequence recover the generated signal and propagate the declared mask behavior?
Upstream project repository
Interpretation of CF-style coordinate and variable metadata on xarray objects.
Investigate Do metadata-based coordinate selections resolve the intended variables when names differ from physical meanings?
Upstream project repository
Probability distributions, quadrature, and polynomial-chaos tools for uncertainty quantification.
Investigate At which quadrature orders are moments of a chosen polynomial response integrated exactly within floating-point tolerance?
Upstream project repository
Assertions and testing utilities for JAX programs, useful for expressing shape, type and transformation expectations.
Investigate Do declared shape and tree invariants detect deliberately malformed inputs to a tiny numerical function?
Upstream project repository
A Rust implementation of a conic interior-point solver for convex optimization.
Investigate Do small conic programs with known solutions meet a fixed residual and duality-gap protocol?
Recorded license evidence is scoped to each source; it is not a blanket permission or a verification result.