Vizroute: analysis and simulation of routing schemes

Visidia: visualisation of distributed algorithms

Simulations of Self-Stabilizing Algorithms

RDA: A Coq Library on Randomised Distributed Algorithms

JBotSim: prototyping library for distributed algorithms in dynamic networks