Build software better, together

hyperpolymath / echidna

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 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 Oct 22, 2026
Rust

hyperpolymath / modshells

Sponsor

Star

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

open-source security ada spark-ada zero-trust hyperpolymath epistemic-infrastructure epistemic-security epistemic-computing veridical-computing equivalence-aware-computing typed-provenance

Updated Oct 19, 2026
Ada

hyperpolymath / docmatrix

Sponsor

Star

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.

rust open-source documentation developer-tools ada governance cli-tool policy-as-code compliance-automation format-conversion hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance

Updated Oct 14, 2026
Rust

hyperpolymath / InvestigativeJournalism.jl

Sponsor

Star

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 awesome-list curated-list computational-science julia-package investigative-journalism scientific-software research-software hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance

Updated Oct 9, 2026
Julia

hyperpolymath / idrisiser

Sponsor

Star

Generate proven-correct wrappers from interfaces using Idris2 dependent types

rust open-source dependent-types theorem-proving 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 Oct 16, 2026
Rust

hyperpolymath / reasonably-good-token-vault

Sponsor

Star

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 post-quantum-cryptography zero-trust secrets-management hyperpolymath epistemic-infrastructure epistemic-security epistemic-computing veridical-computing equivalence-aware-computing typed-provenance

Updated Oct 19, 2026
Rust

hyperpolymath / unified-dataset-vocab

Sponsor

Star

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

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

Updated Oct 16, 2026
Shell

hyperpolymath / coord-tui

Sponsor

Star

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

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

Updated Oct 18, 2026
Just

hyperpolymath / robot-vacuum-cleaner

Sponsor

Star

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

rust open-source reproducible-research theorem-proving lean formal-verification proof-engineering research-software hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance

Updated Oct 23, 2026
Rust

hyperpolymath / developer-ecosystem

Sponsor

Star

Developer ecosystem documentation and guidelines

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

Updated Oct 22, 2026
OCaml

hyperpolymath / panll

Sponsor

Star

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 webkit 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 Oct 19, 2026
Rust

hyperpolymath / lustreiser

Sponsor

Star

Generate formally verified real-time embedded code via Lustre

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

Updated Oct 16, 2026
Rust

hyperpolymath / nextgen-databases

Sponsor

Star

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

open-source database reproducible-research julia formal-verification semantic-equivalence research-software provenance-tracking temporal-database hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance equivalence-aware-database

Updated Oct 23, 2026
Julia

hyperpolymath / rpa-elysium

Sponsor

Star

RPA paradise - robotic process automation toolkit

rust open-source automation developer-tools cli-tool hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance

Updated Oct 20, 2026
Rust

catachresis-colloquium / the-nash-equilibrium

Star

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

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

Updated Oct 12, 2026
Shell

catachresis-colloquium / game-server-admin

Star

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

open-source database simulation zig game-development systems-programming deterministic-simulation hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance

Updated Oct 18, 2026
Zig

hyperpolymath / typed-wasm

Sponsor

Star

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.