Packages
Browse packages indexed by the registry.
Server-authoritative, database-agnostic local-first synchronization for Rust
Stable application operation contracts for Aequora
Server-authoritative, database-agnostic local-first synchronization for Rust
Runtime-neutral performance, memory-budget, and benchmark policy for Aequora
Thin Android host normalization contracts for the Aequora mobile runtime
Thin iOS host normalization contracts for the Aequora mobile runtime
Linux desktop integration policy normalization for Aequora
macOS desktop integration policy normalization for Aequora
Windows desktop integration policy normalization for Aequora
Validated runtime policy snapshots and safe policy merge rules for Aequora
Validated aggregate and operation consistency profiles for Aequora
Server-authoritative, database-agnostic local-first synchronization for Rust
Deterministic offline outbox compaction and rebase planning for Aequora
Server-authoritative, database-agnostic local-first synchronization for Rust
Epoch-safe regional read routing, residency, and tenant authority discovery for Aequora
Developer governance CLI for Aequora durable registries
Build-time validation and generation for Aequora durable registries
Build-generated immutable Aequora durable registry
Database-neutral durable registry contracts for Aequora
Typed release manifests, signatures, compatibility, and update decisions for Aequora
Server-authoritative, database-agnostic local-first synchronization for Rust
Server-authoritative, database-agnostic local-first synchronization for Rust
Deterministic platform-neutral QoS scheduling for Aequora clients
Canonical record schema for optional database-neutral Aequora record sync
Database-neutral subscriptions and authorized dynamic datasets for Aequora
Secret references, redacting values, and provider-neutral resolution for Aequora
Runtime-neutral security threat-model and abuse-resistance contracts for Aequora
Server-authoritative, database-agnostic local-first synchronization for Rust
Transactional side-effect intent, idempotency, and reconciliation contracts for Aequora
Local backup and restore classification contracts for Aequora
Cross-platform local storage certification matrix for Aequora
Platform-neutral local storage contracts for Aequora
OS-backed local encryption key lifecycle contracts for Aequora
Bounded local storage maintenance and migration contracts for Aequora
Mobile and desktop local storage policy profiles for Aequora
Server-authoritative, database-agnostic local-first synchronization for Rust
Server-authoritative, database-agnostic local-first synchronization for Rust
Server-authoritative, database-agnostic local-first synchronization for Rust
Server-authoritative, database-agnostic local-first synchronization for Rust
Neutral dependency governance, SBOM, provenance, and third-party risk contracts for Aequora
Server-authoritative, database-agnostic local-first synchronization for Rust
Server-authoritative, database-agnostic local-first synchronization for Rust
Server-authoritative, database-agnostic local-first synchronization for Rust
Signed desktop update planning and local-intent preservation contracts for Aequora
Server-authoritative, database-agnostic local-first synchronization for Rust
Deterministic durable workflow, checkpoint, and compensation contracts for Aequora
Deterministic, runtime-neutral Aequora workload models
Aeri is a Cardano smart contract language by Knott Dynamics, created by Trevor Knott, with its official compiler and CLI.