telltale-theory
v17.0.0 ExperimentalSession type theory algorithms - projection, merge, subtyping
Quick Verdict
- โActively maintained (updated 29d ago)
- โTrusted by 188 crates
- โPermissive license (MIT OR Apache-2.0)
Security
Deep Insights
1.3K downloads in the last 30 days, down 52% from the previous period. May indicate migration to alternatives.
188 crates depend on telltale-theory. Reasonable ecosystem adoption, though not yet a core dependency.
The primary maintainer publishes 75 crates. This suggests deep Rust expertise and long-term commitment to the ecosystem.
Notable dependents include telltale, telltale-machine, telltale-choreography, telltale-vm, telltale-runtime. When high-quality crates choose telltale-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 telltale-theory
Version Adoption
Release Timeline
Feature Flags
default =["projection", "duality", "merge", "well-formedness", "bounded", "async-subtyping", "sync-subtyping", "semantics", "coherence"]