HeyVL Implementations of Consensus Algorithms