Where polygloty meets polymathy
Curating the overlooked. Building the unconventional. Connecting the disparate.
Jonathan works with polyglot software architecture — exploring what happens when you:
- Avoid builds using crappy, sloppy, systemically flawed 'convenience code'
- Prioritize formal verification over test coverage
- Treat repositories as a graph, not a list
- Aspect-first out of the gates
* Python permitted only for SaltStack automation
These 307 repositories orbit around key themes:
51 SSGs — one for (almost) every programming language that exists.
| Language | SSG | Philosophy |
|---|---|---|
| Ada/SPARK | anvil-ssg | Forge-in-Forge: verified content pipelines |
| RISC-V Assembly | baremetal-ssg | No runtime, no abstractions, just bytes |
| APL | iota-ssg | One small step for sites, one giant leap for simplicity |
| Gleam | sparkle-ssg | Type-safe on BEAM |
| OCaml | macrauchenia-ssg | Adapt to any environment |
| Piet | easel-ssg | The "Thinking-Breaker" for visual artists |
| Oblíbený | obli-ssg | Creative constraints for content |
See all 51 SSGs
60-ssg · anvil-ssg · baremetal-ssg · canon-ssg · chicxulub-ssg · consensus-ssg · cpt-ssg · dei-ssg · easel-ssg · gungir-ssg · hackenbush-ssg · iota-ssg · jura-ssg · liminal-ssg · macrauchenia-ssg · my-ssg · obli-ssg · orbital-ssg · pharos-ssg · qed-ssg · rats-ssg · redshift-ssg · region-ssg · saur-ssg · sparkle-ssg · tyrano-ssg · ultimatum-ssg · undo-ssg · vindaloo-ssg · vladik-ssg · warp-ssg · and more...
Combining neural networks with symbolic reasoning. Proofs, not promises.
| Project | Description |
|---|---|
| echidna | Extensible Cognitive Hybrid Intelligence for Deductive Neural Assistance |
| llm-verify | Real verification for LLM-generated code |
| cicd-hyper-a | Neurosymbolic CI/CD with Haskell verification registry |
| gitvisor | Logtalk + ArangoDB intelligence for git workflows |
| lsm | Liquid State Machines in Rust |
| absolute-zero | Formal Verification of Certified Null Operations |
10 MCP servers for AI assistant integration:
| Server | Purpose |
|---|---|
| poly-proof-mcp | Multi-solver theorem proving |
| poly-ssg-mcp | Static site generation |
| poly-queue-mcp | Task queue management |
| poly-observability-mcp | Metrics and monitoring |
| poly-iac-mcp | Infrastructure as code |
| poly-secret-mcp | Secrets management |
| Standard | Purpose |
|---|---|
| rhodium-standard-repositories | RSR: Repository quality standard with Bronze/Silver/Gold/Rhodium tiers |
| palimpsest-licence | Multi-layered philosophical license framework |
| consent-aware-http | HTTP headers for AI usage consent |
| maa-framework | Mutually Assured Accountability |
| Language | Repository | Status |
|---|---|---|
| Oblíbený | obli-ssg | Phase-separated type system |
| AffineScript | affinescript | OCaml compiler |
| My | my-lang | Progressive complexity language |
| Wokelang | wokelang | Awareness-focused computing |
| Betlang | betlang | Ternary probabilistic programming |
| Tool | Description |
|---|---|
| personal-sysadmin | AI-assisted Linux sysadmin (Rust TUI) |
| scaffoldia | Modular repo scaffolding engine |
| git-seo | Make git repos discoverable |
| tree-navigator | Type-safe directory export (Ada 2022) |
| kith | .well-known TUI manager (Ada) |
| raze-tui | Rust-Ada-Zig TUI library |
┌─────────────────────────────────────────────────────────┐
│ 1. Rust │ Systems, CLI, WASM, performance │
│ 2. ReScript │ Applications (compiles to JS) │
│ 3. Ada/SPARK │ Safety-critical, formal verification │
│ 4. Gleam │ BEAM/JS backend services │
│ 5. Elixir │ Distributed systems, Phoenix │
│ 6. Julia │ Batch processing, scientific │
│ 7. Scheme │ Configuration (STATE.scm, META.scm) │
│ 8. Deno │ Runtime (replaces Node.js) │
└─────────────────────────────────────────────────────────┘
| Technology | Replacement |
|---|---|
| TypeScript | ReScript |
| Node.js | Deno |
| npm/yarn/pnpm/bun | Deno |
| Go | Rust |
| Python (general) | Julia/Rust |
| Java/Kotlin | Rust |
Repos by Language (Top 10):
Rust ████████████████████████████████████ 49
ReScript ██████████████████████████ 34
Scheme ████████████████████████ 31
Ada █████████████ 17
JavaScript ██████████ 14
Shell ██████████ 14
Elixir ███████ 10
Julia ███████ 10
Haskell ███ 4
OCaml ██ 3
| Family | Count | Description |
|---|---|---|
*-ssg |
51 | Static site generators |
poly-*-mcp |
10 | MCP servers |
asdf-* |
9 | Version manager plugins |
kea-* |
4 | Kea ecosystem |
zotero-* |
3 | Research tools |
All 307 repos follow the RSR specification:
- Bronze: Basic hygiene (README, LICENSE, .gitignore)
- Silver: CI/CD, security scanning, signed commits
- Gold: Property testing, formal verification
- Rhodium: Full neurosymbolic validation
This organization uses the Palimpsest Licence — a philosophical license framework that layers multiple perspectives:
- Legal compliance (AGPL-3.0 base)
- Ethical constraints
- Attribution archaeology
Every repo contains machine-readable Scheme files:
STATE.scm— Current project state and roadmapMETA.scm— Architecture decisions and rationaleECOSYSTEM.scm— Relationship to other projects- 'PLAYBOOK.scm' —
- 'AGENTIC.scm' —
- 'NEUROSYM.scm' —
- ...and [sometimes] 'ANCHOR.scm' drops — Recalibration of AI drift'
| Component | Purpose |
|---|---|
| .github-private-farm | High-compute workflow farm |
| .git-private-farm | Multi-forge mirroring |
| cicd-hyper-a | Neurosymbolic CI/CD |
| robot-repo-automaton | Automated repo management |
- Explore by theme: Use the constellation links above
- Check standards: Start with RSR
- Try an SSG: Pick one matching a language you know
- Read STATE.scm: Every repo has one
- GitHub: @hyperpolymath
- GitLab: @hyperpolymath
- Codeberg: @hyperpolymath
- Bitbucket: @hyperpolymath
"The polymath knows that the boundaries between disciplines are artificial."
