Build software better, together

hyperpolymath / nextgen-language-evangeliser

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 Oct 16, 2026
JavaScript

hyperpolymath / social-media-polygraph

Sponsor

Star

AI-powered fact-checking and misinformation detection for social media (graduated from repos-monorepo 2026-04-26)

open-source elixir reproducible-research beam digital-forensics computational-journalism research-software narrative-analysis misinformation-detection hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance evidence-graphs fact-checking-toolkit

Updated Oct 11, 2026
JavaScript

hyperpolymath / verisimdb-data

Sponsor

Star

Git-backed flat-file data store for VeriSimDB — scan results, dispatch logs, recipes, and patterns

shell open-source database provenance-tracking temporal-database hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance octad-storage estate-telemetry

Updated Oct 11, 2026
JavaScript

hyperpolymath / empty-linter

Sponsor

Star

Negative-space diagnostics for invisible character detection

javascript open-source unicode linter developer-tools text-processing cli-tool deno rescript invisible-characters hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance

Updated Oct 14, 2026
JavaScript

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.

Updated Oct 13, 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 Oct 16, 2026
JavaScript

hyperpolymath / rrecord-verity

Sponsor

Star

Comprehensive email security suite for Mozilla Thunderbird with DKIM, SPF, DMARC verification, phishing detection, and advanced threat analysis.

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

Updated Oct 1, 2026
JavaScript

hyperpolymath / me-dialect

Sponsor

Star

Me-Dialect — personal expression programming language

javascript programming-language rust open-source reproducible-research type-theory language-design research-software hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance

Updated Oct 1, 2026
JavaScript

hyperpolymath / ensaid-spec

Sponsor

Star

eNSAID: Environment for NeSy-Agentic Integrated Development — open specification

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

Updated Oct 13, 2026
JavaScript

hyperpolymath / grim-repo

Sponsor

Star

Modular audit-grade tooling for narratable repositories

javascript open-source audit standards scaffolding repository-management compliance-automation estate-automation rsr-standards hyperpolymath git-and-workflow epistemic-infrastructure epistemic-computing repository-auditor veridical-computing equivalence-aware-computing typed-provenance

Updated Oct 10, 2026
JavaScript

hyperpolymath / error-lang

Sponsor

Star

Error-Lang — paradox-embracing error handling language

javascript programming-language rust open-source reproducible-research type-theory language-design research-software hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance

Updated Oct 1, 2026
JavaScript

Invisible-Door-Studios / airborne-submarine-squadron

Star

Sopwith-style browser arcade game where your attack submarine also flies: dive into the depths, or climb out of the atmosphere into orbit. Runs on Bun; playable on GitHub Pages.