Research, software, data and methods. Inspect the context, compare your options, and take a useful next step.
Upstream project repository
Conversion of Jupyter notebooks to other document formats, with optional execution workflows.
Investigate Does a pinned nonexecuting export retain expected cells and escape selected active-content fixtures?
Upstream project repository
Reading, writing, and validating Jupyter notebook document structures.
Investigate Does a fixed notebook schema reject deliberately malformed structures while preserving valid cell metadata on round trip?
Upstream project repository
Python access to netCDF scientific datasets through the netCDF C library.
Investigate Do selected scale, offset, and missing-value encodings round-trip according to a fixed decoding convention?
Upstream project repository
Graph construction, traversal, structural analysis, and network algorithms in Python.
Investigate Do weighted shortest-path routines match exhaustive simple-path enumeration on bounded positive-weight graphs?
Upstream project repository
Derivative-free optimization methods and benchmark interfaces.
Investigate Which derivative-free optimizers attain lower regret under an identical bounded evaluation budget?
Upstream project repository
A common interface to nonlinear optimization algorithms, with and without derivatives.
Investigate How do fixed nonlinear optimizers differ in feasibility and stationarity at equal evaluation budgets?
Upstream project repository
Neural-network inspection and intervention interfaces for tracing internal activations and testing counterfactual computations.
Investigate Can a local toy network distinguish a recorded activation from an intervention that changes its output?
Upstream project repository
Tools for examining and comparing numerical methods for ordinary differential equations.
Investigate Do a selected Runge–Kutta method's reported order conditions agree with exact coefficient calculations?
Upstream project repository
Just-in-time compilation of supported Python numerical functions using LLVM.
Investigate Do strict and relaxed floating-point compilation settings change a cancellation-sensitive reduction?
Upstream project repository
Buffer transformation and compression codecs used in scientific array storage.
Investigate Which chosen lossless codecs preserve exact bytes for generated structured and random buffers?
Upstream project repository
Numerical derivatives, gradients, Jacobians, and Hessians with step-selection methods.
Investigate How do derivative estimates change across step sizes for a fixed family of smooth and cancellation-sensitive functions?
Upstream project repository
Evaluation of numerical array expressions with a specialized execution engine.
Investigate Does fused expression evaluation agree with a high-precision reference near cancellation?
Recorded license evidence is scoped to each source; it is not a blanket permission or a verification result.