|
| 1 | +<!-- |
| 2 | +SPDX-License-Identifier: CC-BY-SA-4.0 |
| 3 | +SPDX-FileCopyrightText: 2025-2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> |
| 4 | +--> |
| 5 | + |
| 6 | +[](https://www.bestpractices.dev/en/projects/new?repo_url=https://github.com/hyperpolymath/julia-ecosystem) |
| 7 | +[](https://www.mozilla.org/MPL/2.0/) |
| 8 | +<embed |
| 9 | +src="https://api.thegreenwebfoundation.org/greencheckimage/github.com" |
| 10 | +data-link="https://www.thegreenwebfoundation.org/green-web-check/?url=github.com" /> |
| 11 | +image:<a href="https://img.shields.io/badge/Julia-1.10+-9558B2?logo=julia" |
| 12 | +data-link="https://julialang.org/">Julia</a> |
| 13 | + |
| 14 | +**A unified framework for post-disciplinary research, organizing, and |
| 15 | +verified computing.** |
| 16 | + |
| 17 | +<div id="toc"> |
| 18 | + |
| 19 | +</div> |
| 20 | + |
| 21 | +# Overview |
| 22 | + |
| 23 | +This is the central monorepo for the **Hyperpolymath Julia Ecosystem**. |
| 24 | +It consolidates 20+ specialized libraries into a single, cohesive |
| 25 | +research and development environment. From formal logic and cryptography |
| 26 | +to historical dynamics and labor organizing, this ecosystem provides the |
| 27 | +"Post-Disciplinary Glue" to tackle complex global challenges. |
| 28 | + |
| 29 | +# Repository Map |
| 30 | + |
| 31 | +## 🧠 Logic & Verification |
| 32 | + |
| 33 | +- <a href="packages/Axiom.jl" class="jl">Axiom</a>: Provably correct |
| 34 | + machine learning and formal verification. |
| 35 | + |
| 36 | +- <a href="packages/SMTLib.jl" class="jl">SMTLib</a>: Julia interface |
| 37 | + for SMT solvers (Z3, CVC5). |
| 38 | + |
| 39 | +- <a href="packages/PolyglotFormalisms.jl" |
| 40 | + class="jl">PolyglotFormalisms</a>: Formally verified cross-language |
| 41 | + common library. |
| 42 | + |
| 43 | +- <a href="packages/ZeroProb.jl" class="jl">ZeroProb</a>: Reasoning |
| 44 | + about measure-zero events and black swans. |
| 45 | + |
| 46 | +## 🛡️ Security & Forensics |
| 47 | + |
| 48 | +- <a href="packages/ProvenCrypto.jl" class="jl">ProvenCrypto</a>: |
| 49 | + Formally verified PQC and cryptographic protocols. |
| 50 | + |
| 51 | +- <a href="packages/InvestigativeJournalist.jl" |
| 52 | + class="jl">InvestigativeJournalist</a>: High-intelligence forensics |
| 53 | + and secure evidence lockers. |
| 54 | + |
| 55 | +## 🏛️ History & Social Science |
| 56 | + |
| 57 | +- <a href="packages/Cliodynamics.jl" class="jl">Cliodynamics</a>: |
| 58 | + Mathematical modeling of historical dynamics (DST). |
| 59 | + |
| 60 | +- <a href="packages/Cliometrics.jl" class="jl">Cliometrics</a>: |
| 61 | + Quantitative economic history and convergence analysis. |
| 62 | + |
| 63 | +- <a href="packages/Axiology.jl" class="jl">Axiology</a>: Formal value |
| 64 | + theory and ethical alignment for ML. |
| 65 | + |
| 66 | +- <a href="packages/ViableSystems.jl" class="jl">ViableSystems</a>: |
| 67 | + Organizational cybernetics (VSM) and Soft Systems Methodology (SSM). |
| 68 | + |
| 69 | +## ✊ Organizing & Action |
| 70 | + |
| 71 | +- <a href="packages/TradeUnionist.jl" class="jl">TradeUnionist</a>: |
| 72 | + Data-driven labor organizing and spatial power mapping. |
| 73 | + |
| 74 | +- <a href="packages/PRComms.jl" class="jl">PRComms</a>: High-integrity |
| 75 | + strategic communications and crisis management. |
| 76 | + |
| 77 | +- <a href="packages/Exnovation.jl" class="jl">Exnovation</a>: Systematic |
| 78 | + phase-out of legacy practices and structures. |
| 79 | + |
| 80 | +- <a href="packages/BowtieRisk.jl" class="jl">BowtieRisk</a>: Structured |
| 81 | + hazard analysis and barrier modeling. |
| 82 | + |
| 83 | +## 🎨 Mathematics & Play |
| 84 | + |
| 85 | +- <a href="packages/JuliaKids.jl" class="jl">JuliaKids</a>: Joyful |
| 86 | + visual coding for children with Minecraft/KSP interop. |
| 87 | + |
| 88 | +- <a href="packages/KnotTheory.jl" class="jl">KnotTheory</a>: |
| 89 | + Computational knot theory and invariants. |
| 90 | + |
| 91 | +- <a href="packages/Skein.jl" class="jl">Skein</a>: Persistence layer |
| 92 | + for knot-theoretic data. |
| 93 | + |
| 94 | +- <a href="packages/HackenbushGames.jl" class="jl">HackenbushGames</a>: |
| 95 | + Combinatorial game theory toolkit. |
| 96 | + |
| 97 | +- <a href="packages/Cladistics.jl" class="jl">Cladistics</a>: |
| 98 | + Phylogenetic analysis and evolutionary relationships. |
| 99 | + |
| 100 | +## ⚙️ Orchestration & Meta |
| 101 | + |
| 102 | +- <a href="packages/PostDisciplinary.jl" class="jl">PostDisciplinary</a>: |
| 103 | + The universal graph linking all disciplinary modules. |
| 104 | + |
| 105 | +- <a href="packages/JuliaPackage-Reuse-Audit.jl" |
| 106 | + class="jl">JuliaPackageSpitter</a>: Automated scaffolding for new |
| 107 | + ecosystem libraries. |
| 108 | + |
| 109 | +- <a href="packages/MacroPower.jl" class="jl">MacroPower</a>: Low-code |
| 110 | + automation and workflow engine. |
| 111 | + |
| 112 | +- <a href="packages/ShellIntegration.jl" class="jl">ShellIntegration</a>: |
| 113 | + Unified shell interface (PowerShell & Valence). |
| 114 | + |
| 115 | +- <a href="packages/MinixSDK.jl" class="jl">MinixSDK</a>: Research |
| 116 | + foundation for Julia-to-MINIX 3 microkernel development. |
| 117 | + |
| 118 | +- <a href="packages/SoftwareSovereign.jl" class="jl">SoftwareSovereign</a>: |
| 119 | + Universal software policy engine and license-aware discovery. |
| 120 | + |
| 121 | +## 🔌 The Metal Layer (Subdivided LowLevel) |
| 122 | + |
| 123 | +- <a href="packages/LowLevel.jl" class="jl">LowLevel</a>: The |
| 124 | + meta-orchestrator for high-integrity hardware control. |
| 125 | + |
| 126 | +- <a href="packages/SiliconCore.jl" class="jl">SiliconCore</a>: |
| 127 | + Multi-arch Assembly, CPUID, and manual memory arenas. |
| 128 | + |
| 129 | +- <a href="packages/AcceleratorGate.jl" class="jl">AcceleratorGate</a>: |
| 130 | + GPU, NPU, and TPU driver dispatch. |
| 131 | + |
| 132 | +- <a href="packages/QuantumCircuit.jl" class="jl">QuantumCircuit</a>: |
| 133 | + QPU abstraction and reversible computing. |
| 134 | + |
| 135 | +- <a href="packages/HardwareResilience.jl" |
| 136 | + class="jl">HardwareResilience</a>: Self-healing, diagnostics, and |
| 137 | + fault-recovery. |
| 138 | + |
| 139 | +- <a href="packages/FirmwareAudit.jl" class="jl">FirmwareAudit</a>: |
| 140 | + BIOS, UEFI, ACPI, and RAID telemetry. |
| 141 | + |
| 142 | +# Development in the Monorepo |
| 143 | + |
| 144 | +To work on a specific package within this repo: |
| 145 | + |
| 146 | +```bash |
| 147 | +# Example: Testing PRComms.jl |
| 148 | +cd packages/PRComms.jl |
| 149 | +julia --project=. -e 'using Pkg; Pkg.test()' |
| 150 | +``` |
| 151 | + |
| 152 | +## Registration |
| 153 | + |
| 154 | +When registering these packages, use the `subdir` argument: |
| 155 | +`@JuliaRegistrator` `register` `subdirectory=packages/PackageName.jl` |
| 156 | + |
| 157 | +# License |
| 158 | + |
| 159 | +All packages in this ecosystem are licensed under the |
| 160 | +**Palimpsest-MPL-1.0 License** (MPL-2.0). See the LICENSE file in the |
| 161 | +root and in each package subdirectory for details. |
| 162 | + |
| 163 | +------------------------------------------------------------------------ |
| 164 | + |
| 165 | +*Synthesis is the ultimate discipline.* |
0 commit comments