Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
84 changes: 0 additions & 84 deletions README.adoc

This file was deleted.

79 changes: 79 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,79 @@
<!--
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2025-2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
-->

[![OpenSSF Best Practices](https://img.shields.io/badge/OpenSSF-Best_Practices-green?logo=opensourcesecurity)](https://www.bestpractices.dev/en/projects/new?repo_url=https://github.com/hyperpolymath/julia-professional-registry)
[![License: MPL-2.0](https://img.shields.io/badge/License-MPL--2.0-blue.svg)](https://www.mozilla.org/en-US/MPL/2.0/) <embed
src="https://api.thegreenwebfoundation.org/greencheckimage/github.com"
data-link="https://www.thegreenwebfoundation.org/green-web-check/?url=github.com" />

# Overview

Custom Julia package registry for all hyperpolymath Julia packages.

# Usage

Add the registry to your Julia installation:

```julia
using Pkg
Pkg.Registry.add(RegistrySpec(url="https://github.com/hyperpolymath/julia-professional-registry"))
```

Then install packages as usual:

```julia
pkg> add ZeroProb
pkg> add Axiom
pkg> add SMTLib
```

# Packages

| Package | Version | Description |
|----|----|----|
| AcceleratorGate | 0.1.0 | Unified accelerator abstraction layer |
| Axiology | 0.1.0 | Value theory and axiology modelling |
| Axiom | 1.0.0 | ML framework with formal verification |
| BowtieRisk | 0.1.0 | Bowtie risk analysis |
| Causals | 0.1.0 | Causal inference toolkit |
| Cladistics | 0.1.0 | Phylogenetic cladistic analysis |
| Cliodynamics | 0.1.0 | Mathematical modelling of historical dynamics |
| Cliometrics | 0.1.0 | Quantitative historical economics |
| EchoTypes | 0.2.0 | Echo-types runtime — companion to the nextgen-languages Echo type system |
| Exnovation | 0.1.0 | Technology phase-out analysis |
| FirmwareAudit | 0.1.0 | Firmware integrity auditing |
| HackenbushGames | 0.1.0 | Combinatorial game theory (Hackenbush) |
| HardwareResilience | 0.1.0 | Hardware fault tolerance analysis |
| Hyperpolymath | 0.1.0 | Hyperpolymath ecosystem metapackage |
| InvestigativeJournalist | 0.1.0 | Data journalism toolkit |
| JuliaForChildren | 0.1.0 | Educational Julia for young learners |
| JuliaPackageSpitter | 0.1.0 | Julia package quality auditing |
| KnotTheory | 0.1.0 | Knot theory and invariants |
| KRLAdapter | 0.1.0 | Knowledge Representation Layer adapter |
| Lithoglyph | 0.1.0 | Lithographic data processing |
| LowLevel | 0.1.0 | Low-level systems programming utilities |
| MacroPower | 0.1.0 | Advanced Julia metaprogramming |
| MinixSDK | 0.1.0 | MINIX operating system SDK |
| PolyglotFormalisms | 0.1.0 | Cross-language formal methods |
| PostDisciplinary | 0.1.0 | Post-disciplinary research tools |
| PRComms | 0.1.0 | Public relations communications analysis |
| ProvenCrypto | 0.1.0 | Formally verified cryptography |
| QuantumCircuit | 0.1.0 | Quantum circuit simulation |
| ShellIntegration | 0.1.0 | Shell integration utilities |
| SiliconCore | 0.1.0 | Silicon design and analysis |
| Skein | 0.1.0 | Skein hash function |
| SMTLib | 0.1.0 | SMT-LIB solver interface |
| SoftwareSovereign | 0.1.0 | Software sovereignty analysis |
| TradeUnionist | 0.1.0 | Labour rights data analysis |
| ViableSystems | 0.1.0 | Viable Systems Model (VSM) implementation |
| ViperPkg | 0.1.0 | Julia bindings for the `julia-the-viper` Viper language |
| ZeroProb | 0.1.0 | Zero-probability event analysis |

# License

This project is licensed under the Mozilla Public License, v. 2.0. See
the `LICENSE` file for details.

SPDX-License-Identifier: CC-BY-SA-4.0
Loading