21 projects
reflexmesh
Typed event-driven software control and learned metacontrol
geocond
Support-aware spatial conditioning, covariance estimation and sequential simulation
flycns
Compile fly connectome releases (MaleCNS v1.0) into simulation-ready graphs with two-eye column maps, and simulate the whole central nervous system (graded optic lobe plus spiking LIF) with parity between Python and the browser.
fracpta
GeoType catalogues of fractured-reservoir pressure transients: analytic ensembles, GeoDFN networks and descriptors, open-DARTS discrete-fracture simulation, the clustering ladder, conformal assignment and attribution.
blastfrag
Blast-fragmentation prediction from a bench pattern: the published ladder from Kuz-Ram to stacking ensembles, scored on real measured blasts under three split protocols, with the statistic named (variance explained, not squared correlation).
preqts
Prequential (test-then-update) streaming evaluation for stateful time-series forecasters, with covariate-arrival simulation, streaming MASE/WQL/SQL/coverage, compute-cost accounting, and adaptive conformal calibration.
pygeotypes
Shape catalogues of physical response signals: derivative preprocessing, banded DTW, PAM k-medoids, conformal assignment, RF/SHAP attribution. Pure-numpy core (Pyodide-safe).
latentplant
Learned world models for industrial process time series: action-conditioned latent dynamics, imagination rollouts with calibrated uncertainty, planning and regime-change detection
oreblocks
Synthetic 3D ore-body block models of the MineLib nature and their scheduling: seeded deposit archetypes, bench structure, slope precedence, UPIT economics, an exact max-closure solver, MineLib .blocks/.prec/.upit/.cpit/.pcpsp read/write, the certified CPIT LP bound by the critical multiplier algorithm, TopoSort rounding heuristics and spatial-coherence metrics
minehaulsim
Deterministic discrete-event simulation of open-pit and underground mine haulage on constrained road networks, with seeded parametric mine generators
copela
Run narrative-to-formal translation across many language models and score it with oracles that are not language models: executable, structural and property layers, reported separately.
planteo
A typed representation for a problem after it has been read and before it is solved: dimensions on every quantity, provenance on every element, and a record of what the narrative left open.
spinoct
Optimal control paths and energy-efficient switching pulses for classical spin dynamics (Landau-Lifshitz-Gilbert)
sreval
An evaluator for symbolic regression: triple-equivalence testing that reports its own failure rate.
adra
ADRA · Adversarial Dev Review Agent: a deterministic-first, adversarial-validation engine for the software lifecycle (PR review, validation/refutation experiments, auto-docs, human escalation).
phenoforge
Phenomenological model-family bank and ensemble calibration engine for industrial processes (BAPE: Bootstrap-Aggregated Phenomenological Ensembles)
regimecpd
Regime-conditional change-point detection for load-varying machines: segment the operating regime, build the within-regime residual, detect on that, and measure whether the regime stage actually earns its place.
bedblend
A bed-blending stockpile engine: repose-angle deposition, Gray-Thornton kinetic size segregation, a per-cell lot ledger with provenance, and the blending metrics (variance reduction, variograms, residence time).
beltvision
Reusable computer-vision inspection engine for industrial conveyor belts: CLAHE preprocessing, belt-edge geometry, anomaly, segmentation, granulometry, tracking, plus the staged-pipeline + data-contract + measured live/precompute lane-gate + manifest machinery.
milldem
Cross-platform soft-sphere DEM for tumbling-mill charge motion and power (2D charge shape + thin-3D-slab power validated vs Hogg-Fuerstenau; no C++/WSL).
geoscena
AOI public-geodata acquisition + SceneBundle fusion and meshing core for 3D area reconstruction
