Research, software, data and methods. Inspect the context, compare your options, and take a useful next step.
Upstream project repository
Planar geometry objects and spatial operations backed by GEOS.
Investigate Do polygon intersections match known areas and boundary relations for a fixed family of axis-aligned rectangles?
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?
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?
Upstream project repository
Generalized linear models with sparse and structured regularization solvers.
Investigate Does a small L1-regularized regression candidate satisfy coordinatewise subgradient conditions?
Upstream project repository
Time-series learning interfaces for forecasting, classification, transformation, and evaluation.
Investigate Does a rolling-origin forecast experiment preserve temporal separation across all transformations and splits?
Upstream project repository
Sparse multidimensional array representations and operations for scientific Python.
Investigate Do sparse tensor reductions match dense arithmetic across duplicate coordinates and fill values?
Upstream project repository
Representations and analysis operations for astronomical spectra.
Investigate Do line-flux estimates agree with analytic integrals as the spectral sampling grid changes?
Upstream project repository
Spatial regression estimators and diagnostics for econometric analysis.
Investigate How do estimated spatial-lag parameters behave under a fixed synthetic model and weight matrix?
Upstream project repository
Statistical forecasting models and utilities for collections of time series.
Investigate How do fixed classical forecasting methods compare on held-out synthetic seasonal regimes?
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?
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?
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?
Recorded license evidence is scoped to each source; it is not a blanket permission or a verification result.