High-performance, domain-driven, type-safe key system for Rust
Validated, immutable value objects for common domain types (email, money, identifiers, …)
Domain layer for the eventide DDD/CQRS toolkit: aggregates, entities, value objects, domain events, repositories, and an in-memory event engine.
Domain-Driven Design (DDD) building blocks, for Rust applications.
Domain-Driven Design (DDD) toolkit.
Conservative abstract interpretation summaries for HigherGraphen.
Cautious causal graph reasoning records for HigherGraphen.
Completion candidates, rules, engine, and review workflow for HigherGraphen.
Bayesian-inspired confidence update records for HigherGraphen.
Context, section, restriction, cover, and gluing checks for HigherGraphen.
Invariants, constraints, invariant checks, and constraint check results for HigherGraphen.
Bounded finite-state model checking substrate for HigherGraphen.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.