JuliaProfessionalRegistry

Custom Julia package registry for all hyperpolymath Julia packages.

Table of Contents

• Overview
• Usage
• Packages
• License

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:

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

Then install packages as usual:

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

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).