resource-analysis

Early-stage research on compositional worst-case resource bounds, with a linear session-IR checker, occupancy-indexed state experiments in Idris 2, and a prototype stack-depth certificate checker. The long-term goal is predictable memory and network-buffer usage.

76-file geopolitical simulation of the 2026 Iran War. Bottom-up from resource constraints, not top-down from political assumptions. 18 resources, 18 countries, 20 cascade models, 5 scenarios. Built with Claude Code.

Analyze page sizes, resources, and web performance metrics. Powered by Spider Cloud.

A small Multi-Language & Multi-Tech Project to test and compare the efficiency of various programming languages and dev frameworks performing the same function.

P6 Schedule Intelligence Assistant · Ask critical path, float, slippage & budget questions in plain English · Azure OpenAI · NetworkX · Azure Functions