diff --git a/README.adoc b/README.adoc deleted file mode 100644 index b4e3b4e..0000000 --- a/README.adoc +++ /dev/null @@ -1,84 +0,0 @@ -// SPDX-License-Identifier: CC-BY-SA-4.0 -// SPDX-FileCopyrightText: 2025-2026 Jonathan D.A. Jewell - -= julia-professional-registry -Jonathan D.A. Jewell -:toc: - -image:https://img.shields.io/badge/OpenSSF-Best_Practices-green?logo=opensourcesecurity[OpenSSF Best Practices,link="https://www.bestpractices.dev/en/projects/new?repo_url=https://github.com/hyperpolymath/julia-professional-registry"] -image:https://img.shields.io/badge/License-MPL--2.0-blue.svg[License: MPL-2.0,link="https://www.mozilla.org/en-US/MPL/2.0/"] -image:https://api.thegreenwebfoundation.org/greencheckimage/github.com[Green Web,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: - -[source,julia] ----- -using Pkg -Pkg.Registry.add(RegistrySpec(url="https://github.com/hyperpolymath/julia-professional-registry")) ----- - -Then install packages as usual: - -[source,julia] ----- -pkg> add ZeroProb -pkg> add Axiom -pkg> add SMTLib ----- - -== Packages - -[cols="1,1,1", options="header"] -|=== -| 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 \ No newline at end of file diff --git a/README.md b/README.md new file mode 100644 index 0000000..d7f6031 --- /dev/null +++ b/README.md @@ -0,0 +1,79 @@ + + +[![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/) + +# 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