Skip to content
View hyperpolymath's full-sized avatar

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

Jonathan D.A. Jewell | Systems SeamArchitect & Neurosymbolic Researcher

"Bridging the Theory-Practice Divide through Formal Logic and Cognitive Science."

The Foundation

  • Academic Background: MSc in Cognitive and Decision Sciences (UCL) and MRes in Art Theory and Philosophy (UAL).
  • Pedagogical Engineering: 19+ years of educational consulting and curriculum innovation across UK Higher Education.
  • Social Systems: Former Chair of Communications for the IWW (European Region) and representative for the NUJ.

The Hyperpolymath Ecosystem

I maintain an ecosystem of 275+ repositories governed by the RSR 2026 Standard, consolidated from 580+ into focused monorepos.

Constellation Focus Area Key Repositories
Languages Programming language design nextgen-languages, eclexia
Infrastructure Polyglot tooling & cloud polystack, reposystem
Governance RSR 2026 & 6SCM Architecture standards, contractiles
Security Neurosymbolic CI/CD hypatia, mcp-repo-guardian
Social Tech Executable Labor Contracts union-policy-parser
FFI Cross-language bridges language-bridges

Technical Proficiencies

  • Languages: 50+ languages (Rust, ReScript, Gleam, Zig, Ada, Scheme, Julia, OCaml, Haskell, Elixir).
  • Systems: Architectural seam engineering, immutable infrastructure, formal methods.
  • Research: Cognitive modeling, Information Ergonomics, Axiology.

Read the Manifesto | View the RSR 2026 Standard

== Architecture

See link:TOPOLOGY.md[TOPOLOGY.md] for a visual architecture map and completion dashboard.

Pinned Loading

  1. echidna echidna Public

    Neurosymbolic theorem proving platform with 12 prover backends

    Rust 2

  2. nextgen-databases nextgen-databases Public

    Parent repository for database application portfolio — QuandleDB, VeriSimDB, Lithoglyph, Glyphbase

    Rust 2

  3. nextgen-languages nextgen-languages Public

    Experimental programming language projects

    Scheme 2

  4. HyperpolymathRegistry HyperpolymathRegistry Public

    Custom Julia package registry for hyperpolymath packages

    1

  5. panll panll Public

    PanLL eNSAID - Environment for NeSy-Agentic Integrated Development

    ReScript 2

  6. boj-server boj-server Public

    Unified server capability catalogue with formally verified cartridges, distributed community hosting, and the Teranga menu system

    Zig 1 1