Packages

Registered packages

This is a flat, human-readable view of the registry. The machine-readable index is Registry.toml at the repo root; that is the source of truth.

The Version column is the latest version the registry serves.

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	1.0.0	Bowtie risk analysis
Causals	0.2.1	Causal inference toolkit
Cladistics	0.1.0	Phylogenetic cladistic analysis
Cliodynamics	1.0.0	Mathematical modelling of historical dynamics
Cliometrics	0.2.0	Quantitative historical economics
EchoTypes	0.2.0	Echo-types runtime — companion to the nextgen-languages Echo type system
Exnovation	1.0.1	Technology phase-out analysis
FirmwareAudit	0.1.1	Firmware integrity auditing
HackenbushGames	1.1.0	Combinatorial game theory (Hackenbush)
HardwareResilience	0.1.1	Hardware fault tolerance analysis
InvestigativeJournalism	0.1.1	Data journalism toolkit
JuliaForChildren	0.1.0	Educational Julia for young learners
JuliaPackageSpitter	0.1.0	Julia package quality auditing
KnotTheory	1.0.1	Knot theory and invariants
KRLAdapter	0.1.0	Knowledge Representation Layer adapter
LowLevel	0.1.1	Low-level systems programming utilities
MaridArango	0.1.0	Native Julia HTTP client for ArangoDB 3.12 (Marid storage set)
MaridCodec	0.1.0	Marid Codec seam: content negotiation, JSON, with MsgPack and CBOR as extensions
MaridControl	0.1.0	Marid control plane: atomic snapshot configuration swaps, append-only logs, changefeed invalidation
MaridCRDT	0.1.0	State-based CRDTs (CvRDTs) for Marid cluster presence and replicated state
MaridIR	0.1.0	The canonical intermediate representation (IR) for the Marid framework
MaridLive	0.1.0	HTML-first reactive helpers for HTMX, Hotwire Turbo Streams and Datastar over SSE and WebSocket
MaridRaft	0.1.0	Native Julia Raft consensus: leader election, log replication, commit quorums
MaridStorage	0.1.0	Marid Storage seam, with SQLite, DuckDB and in-memory implementations
MaridTransport	0.1.0	Marid transport layer: HTTP/1.1, SSE, gRPC and gRPC-Web framing, Connect streams
PolyglotFormalisms	1.1.0	Cross-language formal methods
PostDisciplinary	0.1.0	Post-disciplinary research tools
PRComms	0.1.0	Public relations communications analysis
QuantumCircuit	0.1.1	Quantum circuit simulation
ShellIntegration	0.1.1	Shell integration utilities
SiliconCore	0.1.1	Silicon design and analysis
Skein	0.3.1	Skein hash function
SMTLib	0.2.1	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.1	Julia bindings for the Viper language (jtv-lang)
ZeroProb	0.1.1	Zero-probability event analysis

Count: 41 packages.

Note

On 2026-10-09 ten packages were re-registered under new UUIDv8 identifiers at a patch bump: Causals and SMTLib at 0.2.1, the other eight at 0.1.1. InvestigativeJournalist was replaced by its renamed upstream, InvestigativeJournalism. The old UUIDs and versions are no longer served. A project that pinned one of them must re-add the package. See ADR 0002.

Layout on disk

Packages are stored under the first letter of their name. For example, Axiom lives at A/Axiom/, and each version directory there contains the standard Julia registry files:

A/Axiom/
├── Package.toml      # name, UUID, repo URL
├── Versions.toml     # version → git-tree-sha
├── Deps.toml         # version → deps map
├── Compat.toml       # version → compat ranges
└── WeakCompat.toml   # version → weak-compat ranges

The registry's quality bar for accepting a package or version is documented on Registering-a-Package and in GOVERNANCE.adoc.

Cross-references

• Axiom, SMTLib, PolyglotFormalisms and QuantumCircuit interlink with the wider hyperpolymath formal-verification stack (Idris2 / Coq / Lean / Agda).
• The nine Marid* packages are the Marid framework's Tier-1 packages. They live in metadatastician/marid under packages/<Pkg>; ADR 0003 admits metadatastician as a package owner.
• ViperPkg lives in hyperpolymath/jtv-lang under viper-pkg.