Research, software, data and methods. Inspect the context, compare your options, and take a useful next step.
Executable Science local pilot drafts
Provide a small bisection implementation, a valid cubic-root example, an invalid-bracket control, and a high-precision Newton comparison.
Investigate Does the solver preserve a shrinking root bracket and reject the specified invalid input?
Upstream project repository
Astronomical computation tools for units, coordinates, time, tables, and data formats.
Investigate Do selected unit and coordinate transformations meet independently established reference values and tolerances?
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
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
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
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?
SciPy documentation
A tutorial on algorithms for graphs represented as sparse matrices, illustrated through path finding.
Investigate Do sparse-graph path computations agree with exact enumeration on tiny weighted graphs containing disconnected components?
Upstream project repository
Numerical tools and solvers for convex optimization with Python interfaces.
Investigate Do candidate quadratic-program solutions meet independently recomputed feasibility and duality-gap bounds?
Upstream project repository
A modeling language for convex optimization problems with numerical solver interfaces.
Investigate Do solver outputs satisfy primal feasibility and Karush–Kuhn–Tucker residual tolerances for a fixed convex quadratic family?
Upstream project repository
Phylogenetic tree manipulation, simulation, and analysis in Python.
Investigate Do split-based distances agree with explicit bipartition-set comparisons for fixed leaf-labeled trees?
SciPy documentation
A reference for discrete Fourier, cosine, sine and Hankel transforms, including periodicity, normalization and computational caveats.
Investigate Can a transform pipeline recover known frequencies and amplitudes under declared sampling and normalization conventions?
Recorded license evidence is scoped to each source; it is not a blanket permission or a verification result.