PierreZ/paros

View on GitHub

Stars: 4
Forks: 0
Open beginner issues: 0
Indexed issues: 18
Avg merge: 1h 54m
Merged PRs (30d): 54

Dominant language: Rust
License: Apache-2.0
Last GitHub push: Sep 13, 2026
Latest indexed: Sep 20, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed

Beginner friendly Everything

Open All

gc: a current member accepts its own retirement on a stale belief — the red witness for the retirement window Open

area:core area:sim bug

Difficulty 5/5 Over a week Newbie friendliness 45/100

PierreZ/paros#165 · Opened Sep 13, 2026
core: a third `Quorums` implementor as a lesson (`examples/two_sites.rs`) Open

area:core enhancement

Difficulty 4/5 3-5 days Newbie friendliness 48/100

PierreZ/paros#164 · Opened Sep 13, 2026
play: move the lessons onto `paros-play::World` (scenario scripts, level briefings, `--quorum` / `--proxies`) Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 38/100

PierreZ/paros#163 · Opened Sep 13, 2026
play: `World` learns proxy leaders (`ProxyProcess`, `Config.proxy_count`, `Delegation`) Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 35/100

PierreZ/paros#162 · Opened Sep 13, 2026
core: `Quorums` — generic roles (`Proposer`, `QuorumRead`, `Matchmaking` over `Q: Quorums = QuorumSystem`) Open

area:core enhancement

Difficulty 4/5 3-5 days Newbie friendliness 68/100

PierreZ/paros#161 · Opened Sep 13, 2026
core: read-only accessors the game asked for (election_elapsed, ReadRound, recovery, matchmaking role) Open

Difficulty 4/5 3-5 days Newbie friendliness 58/100

PierreZ/paros#155 · Opened Sep 11, 2026
M5.6 — Batchers and unbatchers (last) Open

area:core area:sim enhancement milestone:M5

Difficulty 5/5 Over a week Newbie friendliness 25/100

PierreZ/paros#145 · Opened Sep 7, 2026
M5.5 — Replica tier: bare replica and bare acceptor wirings Open

area:core area:sim enhancement milestone:M5

Difficulty 5/5 Over a week Newbie friendliness 35/100

PierreZ/paros#144 · 1 comment · Opened Sep 7, 2026
M5.4 — Leaderless reads (Paxos Quorum Reads) Open

area:core area:sim enhancement milestone:M5

Difficulty 5/5 Over a week Newbie friendliness 35/100

PierreZ/paros#143 · Opened Sep 7, 2026
wasm demo drags tonic/hyper/h2 into the browser — evaluate rebuilding it on paros-core alone Open

Difficulty 5/5 Over a week Newbie friendliness 30/100

PierreZ/paros#115 · Opened Aug 29, 2026
meta: up next (rolling tracker, never closes) Open

up-next

Difficulty 5/5 Over a week Newbie friendliness 15/100

PierreZ/paros#69 · 1 comment · Opened Aug 19, 2026
Stage 11: Continuous DST (corpus automation, liveness, spec cross-check) Open

area:coverage area:sim milestone:M5

Difficulty 5/5 Over a week Newbie friendliness 35/100

PierreZ/paros#24 · Opened Jun 23, 2026
Stage 10 — Compartmentalization (ladder index) Open

area:core area:sim milestone:M5

Difficulty 5/5 Over a week Newbie friendliness 25/100

PierreZ/paros#23 · Opened Jun 23, 2026
Stage 9 — Matchmaker reconfiguration (umbrella) Open

area:core area:sim milestone:M4

Difficulty 5/5 Over a week Newbie friendliness 20/100

PierreZ/paros#22 · Opened Jun 23, 2026
Epic M5 — Scale-out + hardening Open

epic milestone:M5

Difficulty 5/5 Over a week Newbie friendliness 15/100

PierreZ/paros#12 · Opened Jun 23, 2026
Epic M4 — Online reconfiguration (Matchmaker) Open

epic milestone:M4

Difficulty 5/5 Over a week Newbie friendliness 25/100

PierreZ/paros#11 · Opened Jun 23, 2026
Epic M3 — Storage-fault tolerance (PAR/CTRL) Open

epic milestone:M3

Difficulty 5/5 Over a week Newbie friendliness 25/100

PierreZ/paros#10 · Opened Jun 23, 2026
Epic: Cross-cutting — determinism, coverage, WASM Open

area:coverage area:wasm epic

Difficulty 5/5 Over a week Newbie friendliness 25/100

PierreZ/paros#7 · 1 comment · Opened Jun 23, 2026

PierreZ/paros

Get new issues in your inbox