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

RPA paradise - robotic process automation toolkit

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

Consolidated monorepo

Rootless/SDP deployment configurations for HKDF cryptographic services

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

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

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

Automation scripts and live file management utilities

Avow protocol

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

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

Pure functional static site generator in Haskell — extracted from polystack

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.

Julia package: ShellIntegration

Formal verification of Certified Null Operations and Observational Null Operations / Certified Null Disclosure: programs provably computing nothing, explored across Coq/Lean/Elm.

JavaScript/TypeScript-syntax AffineScript — affine resource guarantees + typed-wasm output for JS/TS-shaped code