hyperpolymath

Modular shell configuration manager - declarative, idempotent, written in Ada for safety-critical reliability

Multi-format conversion and precision infrastructure for the document suite. Formatrix Docs owns tabbed viewing/editing; Blocky Writer owns fixed-layout PDF placement; ForthWall remains proposed and unproved.

ECHIDNA — Extensible Cognitive Hybrid Intelligence for Deductive Neural Assistance. Neurosymbolic theorem proving with 30 prover backends

Generate proven-correct wrappers from interfaces using Idris2 dependent types

Julia package: InvestigativeJournalist

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

Terminal UI for BoJ local-coord-mcp — peer discovery, task coordination, and window titling for multi-instance AI sessions

Post-quantum secure identity vault for SSH keys, API tokens, PGP keys, and digital credentials. Like PGP, but for tokens. And reasonably good.

Consolidated monorepo

Developer ecosystem documentation and guidelines

Generate OTP supervision trees and fault-tolerance scaffolding

Generate formally verified real-time embedded code via Lustre

Authorization Bypass Detection Testing Framework

Cross-platform personal knowledge management - spatial notes, relationships, and agents

Idris2-proved progressive type safety for WebAssembly linear memory (regions are tables, loads are queries) — and the verified convergence ABI that independent WasmGC languages agree on.

Parent repository for equivalence-aware database research — QuandleDB, VeriSimDB, Lithoglyph, Glyphbase, and typed-trace storage experiments

Universal game server probe, config management, and administration via Gossamer + VeriSimDB

6X strategy board game exploring economic systems, planetary boundaries, and post-scarcity futures

RPA paradise - robotic process automation toolkit

Normalize VAE-decoded image datasets for training AI artifact-detection models, with formal verification guarantees.