Software
R Packages
R packages for spatial data processing, high-dimensional modeling, and binary classification diagnostics.
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.
Python
Python applications for spatial modeling, MCP, conversational AI, computer vision, and deep learning.
DA-STDK
Deep learning framework for spatio-temporal distributional prediction with cluster-aware conformal calibration. Cluster-adaptive spatial bases from sampling density with per-cluster interval calibration and global fallback.
Spatial Adapter
Post-hoc cascade adapter for frozen predictors. Learns low-rank spatial residual representations with ADMM, closed-form covariance estimation, kriging-style prediction, and uncertainty quantification.
Spherical DeepKriging
Spherical spatial prediction with DeepKriging and MRTS-sphere basis functions. PyPI package with CI, coverage, and Colab toy examples; code for DeepKriging on the Global Data.
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.
Blockchain & Web3
Smart contracts, deterministic ledgers, and protocol implementations.
Ethereum Fee Risk Diagnostics
Go toolkit for studying Ethereum base-fee dynamics. Fetches block-level data via JSON-RPC, reconstructs the EIP-1559 fee-update rule, detects change points (CUSUM), and screens candidates by effect size and persistence.
Stablecoin Audit
Rust CLI for reproducible ERC-20 stablecoin audits across EVM chains. Verifies that mint/burn transactions align with totalSupply changes at block boundaries, then aggregates results across Ethereum, Base, and Arbitrum.
Unmasking DID
Conservative onchain entity linking and coordination monitoring for blockchain governance analysis.
Metering Chain
Deterministic Rust engine for usage-based billing and settlement. Signed transactions, delegation, and DePIN-style workflows; demo uses real Helium IoT data.
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.
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.
ZK State Prune
Statistical tiering framework for ZK rollup state. Uses survival modeling and calibration to estimate slot reuse and derive cost-aware hot/cold placement policies.
Rust ZKP
Minimal ZK-rollup from scratch in Rust — Pedersen, Sigma/Fiat–Shamir, Merkle state, Axum backend with mempool batching, WASM playground calling a live API.