rumpsteak-theory
v0.9.1 ExperimentalSession type theory algorithms - projection, merge, subtyping
Quick Verdict
- !Pre-1.0: API may have breaking changes
- ✓Permissive license (MIT OR Apache-2.0)
Security
Deep Insights
43 downloads in the last 30 days (1/day). Volume is roughly flat compared to the previous period.
The primary maintainer publishes 75 crates. This suggests deep Rust expertise and long-term commitment to the ecosystem.
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"]
