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 / 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

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 / 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

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

hyperpolymath / verisimdb

Sponsor

Star

VERIdical SIMulation DataBase — 8-dimensional octad storage with provenance, lineage, temporal versioning, and formal verification

rust open-source database simulation zig formal-verification research-software idris2 temporal-database hyperpolymath epistemic-infrastructure temporal-versioning epistemic-computing veridical-computing equivalence-aware-computing typed-provenance octad-storage provenance-database

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

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 / 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.

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

Updated Sep 18, 2026
Rust

hyperpolymath / nexia-list

Sponsor

Star

Cross-platform personal knowledge management - spatial notes, relationships, and agents

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

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

hyperpolymath / heterogenous-mobile-computing

Sponsor

Star

Platform-agnostic Rust library for AI routing on mobile devices

android rust open-source mobile routing inference developer-tools cli-tool mobile-ai ai-routing hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance

Updated Sep 18, 2026
Rust

hyperpolymath / hypatia

Sponsor

Star

Neurosymbolic CI/CD governance scanner for a ~400-repo estate: rule-based detection with Bayesian confidence gating, safety-triangle remediation (eliminate > substitute > control), SARIF output and machine-checked proofs.