Software

SpatPCA

Regularized principal component analysis for spatial data—identifies smooth, localized eigenfunctions and supports Kriging for new locations. Uses ADMM algorithm.

SpatMCA

Regularized maximum covariance analysis for spatial processes. Identifies smooth, localized patterns showing influence between processes. ADMM-based.

autoFRK

Thin-plate splines for basis function selection and nonstationary spatial covariance. Closed-form MLE, automatic selection via AIC. Handles large irregular datasets.

QuantRegGLasso

Adaptively weighted group Lasso for quantile regression. Variable selection and structure identification for varying-coefficient and additive models. Handles ultra-high dimensional covariates.

influenceAUC

Binary classification diagnostics—identifies influential observations and provides visualization tools for model performance and diagnostic insights.

KB Bridge

MCP server for intelligent knowledge base search. Context-aware retrieval with DSPy-powered query understanding, multi-stage search with content boosting, and answer quality reflection.

LLM Chatbot

Conversational AI framework with LangChain Agent. Integrates text-to-speech and speech-to-text from Hugging Face. Build chatbots with voice translation.

Athlete Number

Bib-number detection for race photos using YOLO + OCR. Batch pipeline with Streamlit UI for review.

Ethereum Account State

Minimal Ethereum token with explicit state transitions and invariants. TypeScript domain model mirrors the on-chain state machine; React frontend demonstrates event-based reconstruction.

Metering Chain

Deterministic Rust engine for usage-based billing and accounting. Supports signed transactions, delegation, and multi-operator DePIN workflows. Demos use real Helium IoT data.

Pay-As-You-Go Service Contracts

Pay-as-you-go protocol with composable Pool primitives. Article registries and rental modules with automatic revenue sharing. Web UI demo included.