Complexity Hints

First-class algorithmic complexity analysis for .NET. Extracts recurrences from C# via Roslyn and solves them symbolically using the Master Theorem and Akra-Bazzi.

c# roslyn

Curate Ipsum

Graph-spectral MCP server for verified code synthesis. Bridges LLM output with formal verification through mutation testing, belief revision, and CEGIS.

python mcp

Extensible B-Splines

Interactive visualization of B-spline basis functions with adjustable control points, knot vectors, and degree parameters.

marimo extensible-splines

Temporal OMP

Sparse frame reconstruction using Orthogonal Matching Pursuit with forward-biased temporal augmentation.

marimo mosaic-basis

migrate

Go CLI for database schema analysis, diffing, and dialect transformation. Convert between PostgreSQL, MySQL, and SQL Server with structural awareness.

go cli

RAG Pipeline Dashboard

Full-stack retrieval-augmented generation system with real-time monitoring, multiple embedding providers, and WebSocket updates.

typescript react

panel-bie

Panel-based Boundary Integral Equation (BIE) solver for computational physics and numerical PDEs.

python cli

superellipse

Generalized superellipse geometry library for parametric curves and shape modeling.

python cli

harmonic-measure

Harmonic measure computation and boundary crowding diagnostics for conformal mapping analysis.

python cli

jordan-curve-app

Dev container for exploring Jordan curves, conformal mappings, and complex function visualization with integrated Python tooling.

devcontainer complex-analysis