RPA paradise - robotic process automation toolkit

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

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

Rootless/SDP deployment configurations for HKDF cryptographic services

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

Consolidated monorepo

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

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

Pure functional static site generator in Haskell — extracted from polystack

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

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

JSON parsing + escaping primitives in the Hyperpolymath RSR Standard (Idris2 ABI + Zig FFI). Sibling of hpm-crypto-rsr / hpm-http-client-rsr.

Standards-compliant monorepo of natural-sciences libraries with a Haskell console for minting, verifying, and observing scientific modules.

Julia package: QuantumCircuit

Executable finite-domain companion to the Agda library echo-types — a runnable model, not a proof.

Julia package: Skein

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.

Kea — DHCP tooling, network resilience, and ecosystem tools