diff --git a/README.adoc b/README.adoc new file mode 100644 index 0000000..bd36c97 --- /dev/null +++ b/README.adoc @@ -0,0 +1,89 @@ +// SPDX-License-Identifier: CC-BY-SA-4.0 +// SPDX-FileCopyrightText: 2025-2026 Jonathan D.A. Jewell += JuliaProfessionalRegistry +:toc: macro +:toclevels: 2 + +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 Check,link=https://www.thegreenwebfoundation.org/green-web-check/?url=github.com] + +Custom Julia package registry for all hyperpolymath Julia packages. + +toc::[] + +== Overview + +`JuliaProfessionalRegistry` is a standard Julia package registry (same layout as +`JuliaRegistries/General`) hosting the hyperpolymath estate's Julia packages. +Downstream users add it once, then `Pkg.add` any package it lists. + +== 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,2",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 + +Code is licensed under the Mozilla Public License 2.0 (see `LICENSE` / +`LICENSES/MPL-2.0.txt`). Documentation is licensed under CC-BY-SA-4.0 +(`LICENSES/CC-BY-SA-4.0.txt`). diff --git a/README.md b/README.md deleted file mode 100644 index d7f6031..0000000 --- a/README.md +++ /dev/null @@ -1,79 +0,0 @@ - - -[![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 diff --git a/tests/idris2/Main.idr b/tests/idris2/Main.idr index b851b8a..c590b71 100644 --- a/tests/idris2/Main.idr +++ b/tests/idris2/Main.idr @@ -1,5 +1,5 @@ -- SPDX-License-Identifier: MPL-2.0 -// Owner: Jonathan D.A. Jewell +-- Owner: Jonathan D.A. Jewell -- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) module Main diff --git a/tests/idris2/Test/Spec.idr b/tests/idris2/Test/Spec.idr index 8c48bdf..bab98e4 100644 --- a/tests/idris2/Test/Spec.idr +++ b/tests/idris2/Test/Spec.idr @@ -1,5 +1,5 @@ -- SPDX-License-Identifier: MPL-2.0 -// Owner: Jonathan D.A. Jewell +-- Owner: Jonathan D.A. Jewell -- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) -- ||| Minimal Idris2 test harness for the Gossamer ABI test suite. diff --git a/tests/idris2/ValidateTest.idr b/tests/idris2/ValidateTest.idr index caf0370..7e2a451 100644 --- a/tests/idris2/ValidateTest.idr +++ b/tests/idris2/ValidateTest.idr @@ -1,5 +1,5 @@ -- SPDX-License-Identifier: MPL-2.0 -// Owner: Jonathan D.A. Jewell +-- Owner: Jonathan D.A. Jewell -- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) -- -- Port of tests/validate.test.ts to Idris2, estate-rollout port 4/11.