Modular shell configuration manager - declarative, idempotent, written in Ada for safety-critical reliability
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
Post-quantum secure identity vault for SSH keys, API tokens, PGP keys, and digital credentials. Like PGP, but for tokens. And reasonably good.
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
Julia package: InvestigativeJournalist
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.
VERIdical SIMulation DataBase — 8-dimensional octad storage with provenance, lineage, temporal versioning, and formal verification
Generate formally verified real-time embedded code via Lustre
Consolidated monorepo
The first programming language for choreographers of figure skating
Normalize VAE-decoded image datasets for training AI artifact-detection models, with formal verification guarantees.
Generate OTP supervision trees and fault-tolerance scaffolding
Neurosymbolic CI/CD governance scanner for a ~400-repo estate: rule-based detection with Bayesian confidence gating, safety-triangle remediation (eliminate > substitute > control), SARIF output and machine-checked proofs.
Authorization Bypass Detection Testing Framework
Nexgen Language Evangeliser — educational toolkit for teaching coding through progressive code transformation
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.
Cross-platform personal knowledge management - spatial notes, relationships, and agents
Universal game server probe, config management, and administration via Gossamer + VeriSimDB
To associate your repository with the hyperpolymath topic, visit your repo's landing page and select "manage topics."