Projects in Awesome Lists tagged with self-stabilization
A curated list of projects in awesome lists tagged with self-stabilization .
https://github.com/no-way-labs/minimum-state-product
Minimum state products on Dijkstra's self-stabilizing token ring — exact values for n = 3 through 9 and a large-n conjecture supported through n = 10. Paper, sorry-free Lean 4 formalization, Python research probes, and an independent verifier.
automated-reasoning combinatorics dijkstra distributed-computing formal-verification lean4 llm-agents mathematics self-stabilization token-ring
Last synced: 05 Jul 2026
https://github.com/axelniklasson/self-stabilizing-uniform-reliable-broadcast
Implementation of the self-stabilizing uniform reliable broadcast protocol introduced by Raynal et al.
broadcast distributed-systems golang self-stabilization uniform-reliable-broadcast
Last synced: 29 Mar 2025
