autoFRK
Thin-plate splines for basis function selection and nonstationary spatial covariance. Closed-form MLE, automatic selection via AIC. Handles large irregular datasets.
Paper-linked packages (SpatPCA, SpatMCA, Spatial Adapter, DA-STDK, Spherical DeepKriging, bc-cpit, amm-lab) are listed under About → Publications. This page covers standalone tools that are not tied to a paper entry.
R Packages
R packages for spatial data processing, high-dimensional modeling, and binary classification diagnostics. Paper-linked packages (SpatPCA, SpatMCA) live under About → Publications.
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 MCP, conversational AI, computer vision, and deep learning. Paper-linked spatial packages live under About → Publications.
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.
RWA Audit
Rust tooling for auditing tokenized real-world assets. Extracts on-chain evidence, compares verifiable and claimed surfaces, and records gaps across asset, flow, and exchange layers.
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.
Rust P2P Protocol Lab
Local blockchain P2P security gym in Rust — Sybil, Eclipse, partition, and bootstrap scenarios on 127.0.0.1; CLI metrics plus `p2p-viz` browser replay.