{"adoption": {"forks": 26, "observed_at": "2026-08-28T04:03:27.419331+00:00", "stars": 1068}, "canonical_url": "https://ross.abutalabs.com/products/tla-rust", "card": {"archived": false, "artifact_type": "learning-resource", "description": "writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+", "domain": ["microservices", "developer-tools", "tutorials"], "enriched": true, "function": ["testing", "fuzzing", "concurrency", "simulation"], "health_score": 20, "homepage": null, "language": "TLA", "license": null, "license_family": "other", "maturity": "abandoned", "member_repos": ["spacejam/tla-rust"], "name": "spacejam/tla-rust", "platform": ["rust", "windows"], "pushed_at": "2017-05-23T11:03:58+00:00", "repo": "spacejam/tla-rust", "stars": 1068, "tags": ["tla-plus", "model-checking", "lock-free", "quickcheck", "formal-verification", "distributed-systems", "algorithms", "linux", "macos"], "topics": ["tla", "rust", "model-checking", "lock-free", "distributed"], "urls": [], "use_cases": ["learn TLA+ for verifying distributed algorithms", "model-check lock-free data structures in Rust", "simulate network partitions in tests", "verify consensus protocol correctness", "learn formal methods for systems programming"], "what_it_is": "A tutorial-style repository and work-in-progress project for writing correct lock-free and distributed stateful systems in Rust, verified with TLA+ model checking and simulated network failures. It documents modeling with TLA+/PlusCal and testing with quickcheck, intended to underpin projects like rsdb and rasputin.", "when_to_avoid": ["you need a production-ready library or tool - this is largely an unfinished tutorial", "you need maintained code - the last release was 2017 and many sections are incomplete"], "when_to_choose": ["learning TLA+ and PlusCal for concurrent and distributed algorithm verification", "studying how to combine Rust with formal model checking and simulation testing"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/tla-rust", "repo": "spacejam/tla-rust", "role": "main", "score": 32}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:03:27.419331+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-30T06:55:07.780096+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "3afceb63b681b3e1c5857ac5deab363d09068c1465fe826ef858a86cfbe6a766", "fetched_at": "2026-08-28T04:03:27.419331+00:00", "kind": "readme", "missing": false, "url": "https://github.com/spacejam/tla-rust"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:03:27.419331+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-30T06:55:07.780096+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "3afceb63b681b3e1c5857ac5deab363d09068c1465fe826ef858a86cfbe6a766", "fetched_at": "2026-08-28T04:03:27.419331+00:00", "kind": "readme", "missing": false, "url": "https://github.com/spacejam/tla-rust"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-30T06:55:07.780096+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "3afceb63b681b3e1c5857ac5deab363d09068c1465fe826ef858a86cfbe6a766", "fetched_at": "2026-08-28T04:03:27.419331+00:00", "kind": "readme", "missing": false, "url": "https://github.com/spacejam/tla-rust"}], "taxonomy_version": 1}, "health_score": {"inputs": ["days_since_push", "days_since_release", "archived"], "kind": "computed", "method": "health_v1"}, "homepage": {"kind": "observed", "observed_at": "2026-08-28T04:03:27.419331+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:03:27.419331+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:03:27.419331+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-30T06:55:07.780096+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "3afceb63b681b3e1c5857ac5deab363d09068c1465fe826ef858a86cfbe6a766", "fetched_at": "2026-08-28T04:03:27.419331+00:00", "kind": "readme", "missing": false, "url": "https://github.com/spacejam/tla-rust"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:03:27.419331+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:03:27.419331+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-30T06:55:07.780096+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "3afceb63b681b3e1c5857ac5deab363d09068c1465fe826ef858a86cfbe6a766", "fetched_at": "2026-08-28T04:03:27.419331+00:00", "kind": "readme", "missing": false, "url": "https://github.com/spacejam/tla-rust"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:03:27.419331+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:03:27.419331+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:03:27.419331+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-30T06:55:07.780096+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "3afceb63b681b3e1c5857ac5deab363d09068c1465fe826ef858a86cfbe6a766", "fetched_at": "2026-08-28T04:03:27.419331+00:00", "kind": "readme", "missing": false, "url": "https://github.com/spacejam/tla-rust"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:03:27.419331+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:03:27.419331+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-30T06:55:07.780096+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "3afceb63b681b3e1c5857ac5deab363d09068c1465fe826ef858a86cfbe6a766", "fetched_at": "2026-08-28T04:03:27.419331+00:00", "kind": "readme", "missing": false, "url": "https://github.com/spacejam/tla-rust"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-30T06:55:07.780096+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "3afceb63b681b3e1c5857ac5deab363d09068c1465fe826ef858a86cfbe6a766", "fetched_at": "2026-08-28T04:03:27.419331+00:00", "kind": "readme", "missing": false, "url": "https://github.com/spacejam/tla-rust"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-30T06:55:07.780096+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "3afceb63b681b3e1c5857ac5deab363d09068c1465fe826ef858a86cfbe6a766", "fetched_at": "2026-08-28T04:03:27.419331+00:00", "kind": "readme", "missing": false, "url": "https://github.com/spacejam/tla-rust"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-30T06:55:07.780096+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "3afceb63b681b3e1c5857ac5deab363d09068c1465fe826ef858a86cfbe6a766", "fetched_at": "2026-08-28T04:03:27.419331+00:00", "kind": "readme", "missing": false, "url": "https://github.com/spacejam/tla-rust"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 0, "longevity": 100, "rhythm": 35}, "computed_at": "2026-09-03T02:20:16.233290+00:00", "flags": ["no_releases", "no_license"], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 3471, "days_push": 3389, "days_rel": null, "gap_med": null, "n_releases_24m": 0}, "score": 32, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}