Modular shell configuration manager - declarative, idempotent, written in Ada for safety-critical reliability
Generate formally verified real-time embedded code via Lustre
ECHIDNA — Extensible Cognitive Hybrid Intelligence for Deductive Neural Assistance. Neurosymbolic theorem proving with 30 prover backends
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.
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.
Generate proven-correct wrappers from interfaces using Idris2 dependent types
Nexgen Language Evangeliser — educational toolkit for teaching coding through progressive code transformation
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.
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
CVE mitigation lifecycle — from disclosure to verified remediation with reachability analysis and formal soundness
Git-backed flat-file data store for VeriSimDB — scan results, dispatch logs, recipes, and patterns
Oblibeny BOINC Platform for distributed computing projects
Extract formal models from API specs and verify with Alloy
VERIdical SIMulation DataBase — 8-dimensional octad storage with provenance, lineage, temporal versioning, and formal verification
Userscripts validation, security registry, and decentralized verification (Haskell + IPFS)
To associate your repository with the veridical-computing topic, visit your repo's landing page and select "manage topics."