|
| 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-professional-registry) |
| 7 | +[](https://www.mozilla.org/en-US/MPL/2.0/) <embed |
| 8 | +src="https://api.thegreenwebfoundation.org/greencheckimage/github.com" |
| 9 | +data-link="https://www.thegreenwebfoundation.org/green-web-check/?url=github.com" /> |
| 10 | + |
| 11 | +# Overview |
| 12 | + |
| 13 | +Custom Julia package registry for all hyperpolymath Julia packages. |
| 14 | + |
| 15 | +# Usage |
| 16 | + |
| 17 | +Add the registry to your Julia installation: |
| 18 | + |
| 19 | +```julia |
| 20 | +using Pkg |
| 21 | +Pkg.Registry.add(RegistrySpec(url="https://github.com/hyperpolymath/julia-professional-registry")) |
| 22 | +``` |
| 23 | + |
| 24 | +Then install packages as usual: |
| 25 | + |
| 26 | +```julia |
| 27 | +pkg> add ZeroProb |
| 28 | +pkg> add Axiom |
| 29 | +pkg> add SMTLib |
| 30 | +``` |
| 31 | + |
| 32 | +# Packages |
| 33 | + |
| 34 | +| Package | Version | Description | |
| 35 | +|----|----|----| |
| 36 | +| AcceleratorGate | 0.1.0 | Unified accelerator abstraction layer | |
| 37 | +| Axiology | 0.1.0 | Value theory and axiology modelling | |
| 38 | +| Axiom | 1.0.0 | ML framework with formal verification | |
| 39 | +| BowtieRisk | 0.1.0 | Bowtie risk analysis | |
| 40 | +| Causals | 0.1.0 | Causal inference toolkit | |
| 41 | +| Cladistics | 0.1.0 | Phylogenetic cladistic analysis | |
| 42 | +| Cliodynamics | 0.1.0 | Mathematical modelling of historical dynamics | |
| 43 | +| Cliometrics | 0.1.0 | Quantitative historical economics | |
| 44 | +| EchoTypes | 0.2.0 | Echo-types runtime — companion to the nextgen-languages Echo type system | |
| 45 | +| Exnovation | 0.1.0 | Technology phase-out analysis | |
| 46 | +| FirmwareAudit | 0.1.0 | Firmware integrity auditing | |
| 47 | +| HackenbushGames | 0.1.0 | Combinatorial game theory (Hackenbush) | |
| 48 | +| HardwareResilience | 0.1.0 | Hardware fault tolerance analysis | |
| 49 | +| Hyperpolymath | 0.1.0 | Hyperpolymath ecosystem metapackage | |
| 50 | +| InvestigativeJournalist | 0.1.0 | Data journalism toolkit | |
| 51 | +| JuliaForChildren | 0.1.0 | Educational Julia for young learners | |
| 52 | +| JuliaPackageSpitter | 0.1.0 | Julia package quality auditing | |
| 53 | +| KnotTheory | 0.1.0 | Knot theory and invariants | |
| 54 | +| KRLAdapter | 0.1.0 | Knowledge Representation Layer adapter | |
| 55 | +| Lithoglyph | 0.1.0 | Lithographic data processing | |
| 56 | +| LowLevel | 0.1.0 | Low-level systems programming utilities | |
| 57 | +| MacroPower | 0.1.0 | Advanced Julia metaprogramming | |
| 58 | +| MinixSDK | 0.1.0 | MINIX operating system SDK | |
| 59 | +| PolyglotFormalisms | 0.1.0 | Cross-language formal methods | |
| 60 | +| PostDisciplinary | 0.1.0 | Post-disciplinary research tools | |
| 61 | +| PRComms | 0.1.0 | Public relations communications analysis | |
| 62 | +| ProvenCrypto | 0.1.0 | Formally verified cryptography | |
| 63 | +| QuantumCircuit | 0.1.0 | Quantum circuit simulation | |
| 64 | +| ShellIntegration | 0.1.0 | Shell integration utilities | |
| 65 | +| SiliconCore | 0.1.0 | Silicon design and analysis | |
| 66 | +| Skein | 0.1.0 | Skein hash function | |
| 67 | +| SMTLib | 0.1.0 | SMT-LIB solver interface | |
| 68 | +| SoftwareSovereign | 0.1.0 | Software sovereignty analysis | |
| 69 | +| TradeUnionist | 0.1.0 | Labour rights data analysis | |
| 70 | +| ViableSystems | 0.1.0 | Viable Systems Model (VSM) implementation | |
| 71 | +| ViperPkg | 0.1.0 | Julia bindings for the `julia-the-viper` Viper language | |
| 72 | +| ZeroProb | 0.1.0 | Zero-probability event analysis | |
| 73 | + |
| 74 | +# License |
| 75 | + |
| 76 | +This project is licensed under the Mozilla Public License, v. 2.0. See |
| 77 | +the `LICENSE` file for details. |
| 78 | + |
| 79 | +SPDX-License-Identifier: CC-BY-SA-4.0 |
0 commit comments