ECHIDNA — Extensible Cognitive Hybrid Intelligence for Deductive Neural Assistance. Neurosymbolic theorem-prover orchestrator: 12 core provers, 105 backend integrations (141 ProverKind variants; see docs/PROVER_COUNT.adoc), trust pipeline.

rust open-source theorem-proving z3 automated-reasoning premise-selection research-software proof-assistants smt-solving hybrid-ai neurosymbolic-ai hyperpolymath epistemic-infrastructure epistemic-computing proof-certificates veridical-computing equivalence-aware-computing typed-provenance neurosymbolic-theorem-proving multi-prover-backend

• Updated Nov 11, 2026
• Rust

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

dotfiles bash zsh fish open-source security configuration-management ada spark-ada cli-tool zero-trust nushell shell-configuration hyperpolymath epistemic-infrastructure epistemic-security epistemic-computing veridical-computing equivalence-aware-computing typed-provenance

• Updated Nov 9, 2026
• Ada

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.

markdown rust open-source documentation document-conversion asciidoc developer-tools dhall cli-tool typst djot format-conversion hyperpolymath epistemic-infrastructure docmatrix kyaml veridical-computing equivalence-aware-computing typed-provenance ijson-jcs

• Updated Nov 12, 2026
• Rust

A Julia toolkit for evidence-led investigative reporting: ingest and hash source material, structure claims and entities, track corroboration, and build auditable timelines and source-to-claim provenance.

open-source ecosystem reproducible-research julia journalism provenance awesome-list curated-list computational-science julia-package fact-checking investigative-journalism scientific-software research-software hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance

• Updated Nov 11, 2026
• Julia

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

open-source dependent-types reproducible-research zig ontology standards specification nickel formal-verification research-software machine-readable idris2 hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance typed-ontology dataset-vocabulary

• Updated Nov 11, 2026
• Shell

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

rust open-source terminal zig tui multi-agent-systems ai-agents cli-tool peer-discovery ratatui model-context-protocol mcp-server hyperpolymath ai-coordination epistemic-infrastructure epistemic-computing boj-server veridical-computing equivalence-aware-computing typed-provenance

• Updated Nov 7, 2026
• Just

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

open-source database reproducible-research dsl julia knot-theory formal-verification semantic-equivalence database-design research-software query-processing provenance-tracking temporal-database hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance equivalence-aware-database

• Updated Nov 11, 2026
• Julia

Generate proven-correct wrappers from interfaces using Idris2 dependent types

rust open-source dependent-types zig theorem-proving openapi code-generation formal-verification research-software idris2 hyperpolymath epistemic-infrastructure iser epistemic-computing veridical-computing equivalence-aware-computing typed-provenance verified-ffi proof-carrying-abi abi-verification

• Updated Nov 11, 2026
• Rust

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

rust open-source security serverless post-quantum-cryptography zero-trust api-security secrets-management ai-security cloudflare-workers credential-management durable-objects llm-agents hyperpolymath epistemic-infrastructure epistemic-security epistemic-computing veridical-computing equivalence-aware-computing typed-provenance

• Updated Nov 12, 2026
• Rust

A comprehensive, production-grade robot vacuum cleaner simulation system with dual Julia and Rust implementations, GraphQL API, SLAM algorithms, and enterprise CI/CD infrastructure.

graphql rust open-source robotics simulation reproducible-research julia theorem-proving path-planning lean slam formal-verification proof-engineering research-software hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance

• Updated Nov 11, 2026
• Rust

A four-pane neurosymbolic development environment (eNSAID) designed as a cognitive-relief layer for human-machine co-orbit. Built on AffineScript (TEA architecture) and Ephapax (Gossamer webview), with friction monitoring (Vexometer), neural output gating (Anti-Crash); planned TypeLL (type) and ECHIDNA (proof) verification for the symbolic layer.

rust open-source ide webkit human-computer-interaction bun model-context-protocol mcp-server hyperpolymath tea-architecture affinescript ephapax epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance neurosymbolic-ide cognitive-relief-layer hybrid-ai-workbench

• Updated Nov 11, 2026
• Rust

Developer ecosystem documentation and guidelines

git open-source documentation ecosystem julia zig ocaml standards specification riscv developer-tools guidelines developer-experience machine-readable hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance

• Updated Nov 11, 2026
• OCaml

Generate formally verified real-time embedded code via Lustre

rust open-source real-time zig code-generation lustre safety-critical research-software idris2 hyperpolymath epistemic-infrastructure iser epistemic-computing synchronous-dataflow veridical-computing equivalence-aware-computing typed-provenance verified-ffi proof-carrying-abi abi-verification

• Updated Nov 11, 2026
• Rust

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.

programming-language rust open-source dependent-types webassembly language-design memory-safety formal-verification research-software idris2 hyperpolymath affinescript epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance verified-linear-memory wasmgc-abi progressive-type-safety

• Updated Nov 11, 2026
• Idris

RPA paradise - robotic process automation toolkit

bot rust open-source automation state-management filesystem scheduling developer-tools event-bus workflow-automation plugin-architecture cli-tool rpa robotic-process-automation hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance

• Updated Nov 11, 2026
• Rust

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

open-source gui database administration webview server simulation zig game-development configuration-management game-server developer-tools systems-programming deterministic-simulation hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance

• Updated Nov 12, 2026
• Zig

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

shell open-source board-game sustainability simulation game-development economics game-theory strategy-game climate-change deterministic-simulation planetary-boundaries hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance game-theory-simulation post-scarcity-economics

• Updated Nov 11, 2026
• Shell

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

javascript open-source education reproducible-research edtech code-generation deno research-software programming-education language-transfer hyperpolymath epistemic-infrastructure iser epistemic-computing veridical-computing equivalence-aware-computing typed-provenance verified-ffi proof-carrying-abi abi-verification

• Updated Oct 30, 2026
• JavaScript

The first programming language for choreographers of figure skating

visualization programming-language rust open-source reproducible-research dsl type-theory language-design domain-specific-language lsp figure-skating research-software hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance choreographic-interaction isu-notation

• Updated Oct 27, 2026
• Just

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

open-source machine-learning deep-learning reproducible-research julia dataset isabelle computational-science julia-package variational-autoencoder scientific-software research-software fips-202 contrastive-learning hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance

• Updated Nov 11, 2026
• Julia