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 Sep 18, 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 Sep 14, 2026
Ada

hyperpolymath / echidna

Sponsor

Star

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

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 Sep 18, 2026
Rust

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 Sep 18, 2026
Just

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 Sep 18, 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 Sep 18, 2026
Rust

hyperpolymath / InvestigativeJournalism.jl

Sponsor

Star

Julia package: InvestigativeJournalist

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 Sep 18, 2026
Julia

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 Sep 18, 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 Sep 18, 2026
Rust

hyperpolymath / nextgen-language-evangeliser

Sponsor

Star

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

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

Updated Sep 18, 2026
JavaScript

hyperpolymath / kaldor-iiot

Sponsor

Star

Decentralizing textile manufacturing through hyperlocal maker networks

javascript rust open-source offline-first developer-tools manufacturing industrial cli-tool edge-computing rescript hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance

Updated Sep 18, 2026
JavaScript

hyperpolymath / boj-server

Sponsor

Star

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.