rustio rustio.net
50

telltale-lean-bridge

v6.0.0 Experimental

Lean verification bridge for Telltale session types

MIT Edition 2021
Development toolsConcurrency #verification#lean#session-types#multiparty

Quick Verdict

  • โœ“Actively maintained (updated 66d ago)
  • โœ“Permissive license (MIT)

Security

Checking security advisories...
Downloads
1.7K
Dependents
24
Releases
9
Size
98KB

Deep Insights

๐Ÿ“‰
Download decline

26 downloads in the last 30 days, down 90% from the previous period. May indicate migration to alternatives.

๐Ÿ‘ค
Prolific maintainer

The primary maintainer publishes 75 crates. This suggests deep Rust expertise and long-term commitment to the ecosystem.

Health Breakdown

Maintenance 9/25

Recency, release consistency, active ratio

Quality 17/25

Yanked ratio, deps, size, maturity, features

Community 10/20

Reverse deps, ownership, ecosystem

Popularity 4/15

Downloads, momentum, growth trend

Documentation 10/15

Docs, repo, license, metadata

Download Trend

Daily downloads ยท last 90 days
0/day avg
02/263/164/34/215/95/26

Top Dependents

Most downloaded crates that depend on telltale-lean-bridge

Version Adoption

v4.0.1
88%
v2.1.0
4%
v3.0.0
3%
v5.0.0
3%
v4.0.0
2%

Release Timeline

9 releasessince 2026
J
F
M
A
M
J
J
A
S
O
N
D
2026
9
Less
More

Feature Flags

default =["runner"]

cligoldenrunner*exporter

README

Loading README...

Maintainers

Dependencies
18
direct dependencies
Dependents
24
crates depend on telltale-lean-bridge

Similar Crates