rumpsteak-theory
v0.9.1 ExperimentalSession type theory algorithms - projection, merge, subtyping
Quick Verdict
- ✓Actively maintained (updated 69d ago)
- !Pre-1.0: API may have breaking changes
- ✓Permissive license (MIT OR Apache-2.0)
Security
Deep Insights
58 downloads in the last 30 days, down 44% from the previous period. May indicate migration to alternatives.
At 42KB, rumpsteak-theory is lightweight. Small crate size correlates with focused, well-scoped functionality.
Notable dependents include rumpsteak-aura, rumpsteak-aura-choreography, rumpsteak-lean-bridge. When high-quality crates choose rumpsteak-theory, it's a strong quality signal.
Health Breakdown
Recency, release consistency, active ratio
Yanked ratio, deps, size, maturity, features
Reverse deps, ownership, ecosystem
Downloads, momentum, growth trend
Docs, repo, license, metadata
Download Trend
Top Dependents
Most downloaded crates that depend on rumpsteak-theory
Version Adoption
Release Timeline
Feature Flags
default =["projection", "duality", "merge", "well-formedness", "bounded", "async-subtyping", "sync-subtyping", "semantics", "coherence"]
