epistemic-computing

Self-hosted systems + scientific programming language with epistemic types, uncertainty propagation, algebraic effects, and formalized non-associative algebra.

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.

Generate formally verified real-time embedded code via Lustre

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.

Julia package: InvestigativeJournalist

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

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

Generate proven-correct wrappers from interfaces using Idris2 dependent types

Decentralizing textile manufacturing through hyperlocal maker networks

One MCP stdio endpoint for a whole toolchain — GitHub, GitLab, cloud, mail, browser and research tools — with capability-gated dispatch, a machine-checked ABI, and cartridges fetched on demand from boj-server-cartridges. Zero runtime dependencies.

Generate OTP supervision trees and fault-tolerance scaffolding

VERIdical SIMulation DataBase — 8-dimensional octad storage with provenance, lineage, temporal versioning, and formal verification

Extract formal models from API specs and verify with Alloy

Self-hosted Julia package registry for a private/personal package collection.

Experimental programming language research portfolio — structured equivalence, typed computation, resource systems, topology, and minimal core calculi.

Userscripts validation, security registry, and decentralized verification (Haskell + IPFS)

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

Laminar is a high-speed, cloud-to-cloud streaming relay that transfers data between cloud storage providers (Dropbox, Google Drive, S3, etc.) without downloading files to local persistent storage. Data flows through RAM buffers in parallel "laminar" streams, achieving maximum throughput while maintaining cryptographic integrity.