emichael/dslabs resource

Health v2 · maintenance only

Flags: no_releases no_license

Adoption not part of the score

1701 stars · 406 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

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.

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

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

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

Facets

learning-resource · maturity active

testing developer-tools simulation microservices education developer-tools jvm cross-platform distributed-systems model-checking paxos state-machine-replication educational-labs visual-debugger message-passing university-course

Member repositories

For agents

markdown · JSON · MCP: product_card(name="emichael/dslabs")