tla-rs

v0.1.0 Experimental

Rust implementation of the IronFleet verified distributed systems framework

MIT Edition 2021

Algorithms Science #distributed-systems#paxos#verification#consensus#verus

GitHub ↗ crates.io ↗ Compare with…

Quick Verdict

✓Actively maintained (updated 64d ago)
!Pre-1.0: API may have breaking changes
✓Tiny footprint (1.1MB, 0 deps)
✓Permissive license (MIT)

Security

Checking security advisories...

Downloads

Dependents

Releases

Size

1.1MB

Deep Insights

📈

Strong growth momentum

4 downloads in the last 30 days (0/day), up 300% from the previous period.

🪶

Zero dependencies

tla-rs has no external dependencies — minimal supply chain risk and fast compile times.

Health Breakdown

Maintenance 9/25

Recency, release consistency, active ratio

Quality 13/25

Yanked ratio, deps, size, maturity, features

Community 6/20

Reverse deps, ownership, ecosystem

Popularity 1/15

Downloads, momentum, growth trend

Documentation 10/15

Docs, repo, license, metadata

Download Trend

Daily downloads · last 90 days

0/day avg-71%

Version Adoption

v0.1.0

100%

Release Timeline

1 releasessince 2026

2026

Less

README

Loading README...

Maintainers

Shuai Mu

2 crates

Dependencies

direct dependencies