epistemic-infrastructure

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

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

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

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

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.

Generate proven-correct wrappers from interfaces using Idris2 dependent types

Julia package: InvestigativeJournalist

Generate OTP supervision trees and fault-tolerance scaffolding

Consolidated monorepo

Platform-agnostic Rust library for AI routing on mobile devices

Generate formally verified real-time embedded code via Lustre

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

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

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

RPA paradise - robotic process automation toolkit

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.

Developer ecosystem documentation and guidelines

Authorization Bypass Detection Testing Framework