Nexgen Language Evangeliser — educational toolkit for teaching coding through progressive code transformation

RPA paradise - robotic process automation toolkit

Consolidated monorepo

HPC document extraction engine — Chapel + Zig FFI pipeline for OCR, NER, metadata extraction, and classification

Nextgen language: betlang

A puzzle game where solutions are cryptographically verified - prove your work, literally.

Platform-independent complete internet repair tool — cross-platform successor/extension to Windows Complete Internet Repair. Lives canonically in aerie; extracted subset lands in ambientops.

Formal vocabulary definitions and taxonomies for datasets — Idris2-typed proofs with Zig FFI for cross-language consumption.

Cross-platform Excel/LibreOffice add-in for economic modeling, data analysis, and investigative research

Rust-Ada-Zig TUI library: Zig FFI bridge between Rust core and Ada/SPARK TUI

Rootless/SDP deployment configurations for HKDF cryptographic services

Retro driving game written in AffineScript. Test Drive III: The Passion-inspired — perspective road rendering + centripetal-force steering. Prototype.

Universal Extension Format - One source, all platforms (browsers, IDEs, CMS). Formally verified compile-to-many pattern.

Showcase site for the K9 (Self-Validating Components) format

Pure functional static site generator in Haskell — extracted from polystack

Pseudocode-syntax AffineScript — first-language for CS pedagogy that compiles and runs

Homebrew tap exposing personal development tools and language runtimes via `brew install`.

Captured design decisions, learnings, and methodologies from AI-assisted software development

Nextgen language: my-lang

Avow protocol