Skip to content
View hyperpolymath's full-sized avatar
🎯
Focusing
🎯
Focusing
70 followers · 187 following

Achievements

Achievement: Pull Sharkx4Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Pull Sharkx4Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: YOLO

Highlights

Block or report hyperpolymath

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
hyperpolymath/README.adoc

Jonathan D.A. Jewell

Where polygloty meets polymathy

Repos Languages RSR 2026

The Manifesto

Jonathan architects polyglot software by exploring the fringes of computational theory.
* Reject Slop: No "convenience code" or systemically flawed dependencies.
* Aspect-First: Viable systems models built with cross-cutting concerns as first-class citizens.
* Formal Supremacy: Formal verification is mandatory; unit testing is a secondary artifact.
* Quantum-Hardened: Post-quantum cryptography (NIST FIPS 203/204) by default.

The Tech Stack

Preference Technologies

Tier 1 (Core)

Rust (Systems/WASM), ReScript (Apps), Ada/SPARK (Safety-Critical)

Tier 2 (Logic)

Gleam/Elixir (BEAM), Julia (Batch), Scheme (Configuration)

Tier 3 (Edge)

Zig, OCaml, RISC-V Assembly, Piet, APL

Orchestration

must-just-nickel, SaltStack (Python only), Podman-first deployment

Banned Technology

Banned Replacement

TypeScript / Node.js

ReScript / Deno

Go

Rust

Python (General)

Julia / Rust

Java / Kotlin

Rust / Ada

npm / pnpm / bun

Deno / must-just-nickel

The Constellations (439 Repositories)

Static Site Generators (51 SSGs)

One for every paradigm. No runtimes, no bloat.

Language

SSG

Philosophy

Ada/SPARK

anvil-ssg

Forge-in-Forge: verified pipelines.

RISC-V ASM

baremetal-ssg

No abstractions, just bytes.

APL

iota-ssg

One small step for sites, one giant leap for simplicity.

Piet

easel-ssg

The "Thinking-Breaker" for visual artists.

Gleam

sparkle-ssg

Type-safe on the BEAM.

Neurosymbolic AI & Verification

  • echidna: Cognitive Hybrid Intelligence for Deductive Assistance.

  • llm-verify: Real formal verification for generated code.

  • absolute-zero: Verification of Certified Null Operations.

MCP Servers & Gitbots

  • 10 MCP Servers: From poly-proof-mcp (Theorem Proving) to poly-iac-mcp.

  • Gitbot Fleet: Six quality-enforcement bots (rhodibot, echidnabot, sustainabot, etc.).

Architectural Standard: 6SCM & RSR 2026

Every repository is an RSR 2026 compliant artifact (Bronze to Rhodium tiers) featuring the 6SCM Layer in .machine_readable/6scm/:

  • STATE.scm: Current state, roadmap, and blockers.

  • META.scm: Architectural Decision Records (ADRs) and rationale.

  • AGENTIC.scm: Interaction patterns for AI agents.

  • NEUROSYM.scm: Reasoning rules and neurosymbolic integration.

Cryptographic Rigour (CRYPTO-STANDARD.scm)

Category Algorithm NIST Standard

PQ Signatures

Dilithium5

ML-DSA-87 (FIPS 204)

PQ Key Exchange

Kyber-1024

ML-KEM-1024 (FIPS 203)

Classical Sigs

Ed448 / Ed25519

—

Symmetric

ChaCha20-Poly1305

—

Hashing

BLAKE3 / SHAKE3-256

—

Language Stats

Rust        ████████████████████████████████████████  62
ReScript    ██████████████████████████████            41
Scheme      █████████████████████████████             38
Ada         ████████████████████                      26
Shell       ████████████████                          21

Palimpsest License

Pinned Loading

  1. conative-gating conative-gating Public

    Controlling AI with AI. Conative Gating introduces a second model trained with inverted incentives rewarded for blocking, suspicious by default, adversarial to the LLM’s proposals, using metaphors …

    Rust 1

  2. neurophone neurophone Public

    NeuroPhone is a complete Android application for neurosymbolic AI on mobile devices. It combines spiking neural networks with large language models for advanced on-device intelligence.

    Rust 1

  3. my-lang my-lang Public

    My is a modern, first class AI programming language designed with progressive complexity. Start with the clarity of Python or Go, and grow into the expressive power of Ada, Rust, or Zig - without t…

    Rust 1 1

  4. maa-framework maa-framework Public

    Mutually Assured Accountability Framework - hub for MAA, Oblíbený, and Aletheia

    Scheme 1

  5. poly-ssg poly-ssg Public

    Polyglot static site generator framework. One contract, many languages, unique paradigmatic strengths.

    OCaml 1

  6. proven proven Public

    Code that cannot crash. Formally verified library for safe math, crypto, parsing, and validation. Call from Python, Rust, JavaScript, Go — any language.

    Idris 1