Build software better, together

Sounio-lang / sounio

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

programming-language algebraic-effects compiler scientific-computing self-hosting formal-verification uncertainty-propagation systems-programming octonions egraph non-associative-algebra epistemic-computing

Updated Oct 4, 2026
Lean

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 1, 2026
Ada

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 3, 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 4, 2026
Julia

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 3, 2026
Just

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 2, 2026
Shell

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 3, 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 1, 2026
Rust

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 3, 2026
Rust

hyperpolymath / otpiser

Sponsor

Star

Generate OTP supervision trees and fault-tolerance scaffolding

rust open-source erlang elixir zig code-generation 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 2, 2026
Rust

hyperpolymath / zotero-tools

Sponsor

Star

Consolidated monorepo

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

Updated Oct 1, 2026
Nickel

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 1, 2026
OCaml

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 2, 2026
Rust

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.