Packages
Browse packages indexed by the registry.
Holographic reduced representations and vector symbolic architectures
Information geometry and statistical manifolds
Measure-theoretic foundations for geometric algebra - integration, probability measures, and analysis on multivector spaces
Geometric network analysis using Clifford algebra and tropical algebra
Geometric optimization algorithms leveraging Amari's Tropical-Dual-Clifford fusion
Probability theory on geometric algebra spaces - distributions, stochastic processes, and Bayesian inference for multivector-valued random variables
Relativistic physics using geometric algebra for charged particle simulations
Abstract and term rewriting systems for the Amari library
Exact rational surcomplex numbers for the Amari library
Computable surreal numbers for the Amari library
Topological tools for geometric structures - homology, persistent homology, Morse theory, and manifold analysis
Tropical max-plus algebra and ordinal-weighted optimization carriers
A fun game where you guess what number the computer has chosen.
Consensus engine for the Amaru Cardano node
A fork of curve25519-dalek with a sign bit fix for the elligator function, used by Cardano VRF
Iterator adaptor supporting mutable borrowing of elements
Core Cardano types, primitives, and domain logic for the Amaru Cardano node
Key Evolving Signature
Ledger engine for the Amaru Cardano node
Transaction mempool for the Amaru Cardano node
Metrics collection and telemetry primitives for the Amaru Cardano node
Extra CBOR encoding utilities built on top of minicbor
Network layer and protocol handling for the Amaru Cardano node
Observability instrumentation and structured event tracking for the Amaru Cardano node
Procedural macros for observability instrumentation
Ouroboros consensus protocol primitives for the Amaru Cardano node
Trait abstractions for the Ouroboros consensus protocol
Plutus script evaluation utilities for the Amaru Cardano node
Progress bar abstractions for long-running operations
Cardano network mini-protocol implementations for the Amaru Cardano node
Storage backends for the Amaru Cardano node
JSON tracing subscriber for structured logging in the Amaru Cardano node
A UPLC Evaluator as a CEK machine
An attempt at a faster UPLC evaluator
An attempt at a faster UPLC evaluator
VRF (Verifiable Random Function) implementation using dalek cryptography, used in Cardano
Prueba a
Prueba b
Proc macros for amass. Not intended for public use.
AmateRS - Fully Homomorphic Encrypted Distributed Database with Zero Trust Architecture
Command-line interface for AmateRS
Consensus layer for AmateRS (Ukehi)
Core kernel for AmateRS - Fully Homomorphic Encrypted Database
Network layer for AmateRS (Musubi)
Python SDK for AmateRS with PyO3 bindings
Rust SDK for AmateRS
TypeScript/WASM SDK for AmateRS - Fully Homomorphic Encrypted Database