{"adoption": {"forks": 406, "observed_at": "2026-08-28T04:05:24.304939+00:00", "stars": 1701}, "canonical_url": "https://ross.abutalabs.com/products/dslabs", "card": {"archived": false, "artifact_type": "learning-resource", "description": "Distributed Systems Labs and Framework", "domain": ["microservices", "education", "developer-tools"], "enriched": true, "function": ["testing", "developer-tools", "simulation"], "health_score": 65, "homepage": "https://ellismichael.com/dslabs/", "language": "Java", "license": null, "license_family": "other", "maturity": "active", "member_repos": ["emichael/dslabs"], "name": "emichael/dslabs", "platform": ["jvm", "cross-platform"], "pushed_at": "2026-04-01T19:02:59+00:00", "repo": "emichael/dslabs", "stars": 1701, "tags": ["distributed-systems", "model-checking", "paxos", "state-machine-replication", "educational-labs", "visual-debugger", "message-passing", "university-course"], "topics": ["distributed-systems", "university-project"], "urls": [], "use_cases": ["implement paxos consensus in java for a class assignment", "model check my distributed system implementation for bugs", "visualize message-passing executions of a distributed protocol", "teach a university distributed systems course with labs", "build a sharded key-value store with distributed transactions", "debug a primary/backup replication system with trace output", "learn distributed systems by implementing real protocols"], "what_it_is": "DSLabs is a Java framework and set of lab assignments for teaching distributed systems, built around message-passing state machines. It provides automated model-checking tests that systematically explore implementation state spaces and a visual debugger for exploring executions and invariant-violating traces.", "when_to_avoid": ["building production distributed systems rather than educational exercises", "you need a framework in a language other than Java", "you want a general-purpose model checker for arbitrary systems"], "when_to_choose": ["teaching or learning distributed systems protocols like Paxos and state machine replication in Java", "you need automated model checking with counterexample traces for student implementations", "you want a visual debugger to explore distributed executions step by step"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/dslabs", "repo": "emichael/dslabs", "role": "main", "score": 66}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:05:24.304939+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-30T03:37:42.475794+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "4defd340d134dd1fbcdde7275268138ace929eef898c3ebde2b2ac918ceb019b", "fetched_at": "2026-08-28T04:05:24.304939+00:00", "kind": "readme", "missing": false, "url": "https://github.com/emichael/dslabs"}, {"content_hash": "b7a21632688cf25332c7b009feb2a8b7acac2768477f8770c67bb5562aec3092", "fetched_at": "2026-08-29T11:12:08.507649+00:00", "kind": "homepage", "missing": false, "url": "https://ellismichael.com/dslabs/"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:05:24.304939+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-30T03:37:42.475794+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "4defd340d134dd1fbcdde7275268138ace929eef898c3ebde2b2ac918ceb019b", "fetched_at": "2026-08-28T04:05:24.304939+00:00", "kind": "readme", "missing": false, "url": "https://github.com/emichael/dslabs"}, {"content_hash": "b7a21632688cf25332c7b009feb2a8b7acac2768477f8770c67bb5562aec3092", "fetched_at": "2026-08-29T11:12:08.507649+00:00", "kind": "homepage", "missing": false, "url": "https://ellismichael.com/dslabs/"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-30T03:37:42.475794+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "4defd340d134dd1fbcdde7275268138ace929eef898c3ebde2b2ac918ceb019b", "fetched_at": "2026-08-28T04:05:24.304939+00:00", "kind": "readme", "missing": false, "url": "https://github.com/emichael/dslabs"}, {"content_hash": "b7a21632688cf25332c7b009feb2a8b7acac2768477f8770c67bb5562aec3092", "fetched_at": "2026-08-29T11:12:08.507649+00:00", "kind": "homepage", "missing": false, "url": "https://ellismichael.com/dslabs/"}], "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:05:24.304939+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:05:24.304939+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:05:24.304939+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-30T03:37:42.475794+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "4defd340d134dd1fbcdde7275268138ace929eef898c3ebde2b2ac918ceb019b", "fetched_at": "2026-08-28T04:05:24.304939+00:00", "kind": "readme", "missing": false, "url": "https://github.com/emichael/dslabs"}, {"content_hash": "b7a21632688cf25332c7b009feb2a8b7acac2768477f8770c67bb5562aec3092", "fetched_at": "2026-08-29T11:12:08.507649+00:00", "kind": "homepage", "missing": false, "url": "https://ellismichael.com/dslabs/"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:05:24.304939+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:05:24.304939+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-30T03:37:42.475794+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "4defd340d134dd1fbcdde7275268138ace929eef898c3ebde2b2ac918ceb019b", "fetched_at": "2026-08-28T04:05:24.304939+00:00", "kind": "readme", "missing": false, "url": "https://github.com/emichael/dslabs"}, {"content_hash": "b7a21632688cf25332c7b009feb2a8b7acac2768477f8770c67bb5562aec3092", "fetched_at": "2026-08-29T11:12:08.507649+00:00", "kind": "homepage", "missing": false, "url": "https://ellismichael.com/dslabs/"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:05:24.304939+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:05:24.304939+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:05:24.304939+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-30T03:37:42.475794+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "4defd340d134dd1fbcdde7275268138ace929eef898c3ebde2b2ac918ceb019b", "fetched_at": "2026-08-28T04:05:24.304939+00:00", "kind": "readme", "missing": false, "url": "https://github.com/emichael/dslabs"}, {"content_hash": "b7a21632688cf25332c7b009feb2a8b7acac2768477f8770c67bb5562aec3092", "fetched_at": "2026-08-29T11:12:08.507649+00:00", "kind": "homepage", "missing": false, "url": "https://ellismichael.com/dslabs/"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:05:24.304939+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:05:24.304939+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-30T03:37:42.475794+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "4defd340d134dd1fbcdde7275268138ace929eef898c3ebde2b2ac918ceb019b", "fetched_at": "2026-08-28T04:05:24.304939+00:00", "kind": "readme", "missing": false, "url": "https://github.com/emichael/dslabs"}, {"content_hash": "b7a21632688cf25332c7b009feb2a8b7acac2768477f8770c67bb5562aec3092", "fetched_at": "2026-08-29T11:12:08.507649+00:00", "kind": "homepage", "missing": false, "url": "https://ellismichael.com/dslabs/"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-30T03:37:42.475794+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "4defd340d134dd1fbcdde7275268138ace929eef898c3ebde2b2ac918ceb019b", "fetched_at": "2026-08-28T04:05:24.304939+00:00", "kind": "readme", "missing": false, "url": "https://github.com/emichael/dslabs"}, {"content_hash": "b7a21632688cf25332c7b009feb2a8b7acac2768477f8770c67bb5562aec3092", "fetched_at": "2026-08-29T11:12:08.507649+00:00", "kind": "homepage", "missing": false, "url": "https://ellismichael.com/dslabs/"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-30T03:37:42.475794+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "4defd340d134dd1fbcdde7275268138ace929eef898c3ebde2b2ac918ceb019b", "fetched_at": "2026-08-28T04:05:24.304939+00:00", "kind": "readme", "missing": false, "url": "https://github.com/emichael/dslabs"}, {"content_hash": "b7a21632688cf25332c7b009feb2a8b7acac2768477f8770c67bb5562aec3092", "fetched_at": "2026-08-29T11:12:08.507649+00:00", "kind": "homepage", "missing": false, "url": "https://ellismichael.com/dslabs/"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-30T03:37:42.475794+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "4defd340d134dd1fbcdde7275268138ace929eef898c3ebde2b2ac918ceb019b", "fetched_at": "2026-08-28T04:05:24.304939+00:00", "kind": "readme", "missing": false, "url": "https://github.com/emichael/dslabs"}, {"content_hash": "b7a21632688cf25332c7b009feb2a8b7acac2768477f8770c67bb5562aec3092", "fetched_at": "2026-08-29T11:12:08.507649+00:00", "kind": "homepage", "missing": false, "url": "https://ellismichael.com/dslabs/"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 75, "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": 3023, "days_push": 154, "days_rel": null, "gap_med": null, "n_releases_24m": 0}, "score": 66, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}