A feasibility pilot for source-grounded identity-preservation conformance across software supply-chain representations.

Build an agent harness and control it end-to-end. Open-source SDK for production AI agents in Python & TypeScript - any model, any cloud.

Compare communities using one NIST Tracking Community Resilience (TraCR) indicator over time with Python and reactive analytics.

Explore how one NIST Tracking Community Resilience (TraCR) indicator is distributed across counties, with Python and reactive analytics.

Explore trends in NIST Tracking Community Resilience (TraCR) data with Python and reactive analytics.

Professional Python repository cleaner

Professional Python repository self-consistency checker

Part of the pup-pack to maintain a set of repos. Opinionated professional Python project template comparison tool. Shows when the active repo has more recent infrastructure files that should possib…

An extremely fast Python type checker and language server, written in Rust.

A Marimo app that explains common files and folders in a professional Python project.

Baby Animal Stress Sanctuary (click ♪ in lower right for music)

Collect and preserve repository activity and traffic data for a fleet of GitHub repositories.

The original Oregon Trail

Machine learning project investigating a deployed ML model by calling a live prediction API, varying input features, identifying decision boundaries, and interpreting model behavior from the outside.

Applied Machine Learning - Serving

A reactive notebook for Python — run reproducible experiments, query with SQL, execute as a script, deploy as an app, and version with git. Stored as pure Python. All in a modern, AI-native editor.

marimo + uv starter template

Organization defaults and profile for the pup-pack GitHub organization.

Opinionated professional Python project template synchronizer

Shared core library for opinionated professional Python project tools.

Professional Python project: building and populating a smart sales data warehouse using ETVL.

Professional Python project: BI storytelling with smart sales data.

The math library of Lean 4

Theorem Proving in Lean 4

Professional Python project: OLAP reporting on smart sales data.

A reference-implementation check for the finite mathematical core of SE-210, Operational Identity: A Finite Audit of Declared and Implemented Rules of Sameness.

Executable domain formalization toolkit for domain specifications.

Paper defining a finite audit comparing a record system's declared rule of sameness with the rule of sameness induced by its implementation.

Organization profile

Public redacted family tree viewer for the Kapsch family genealogy archive.