rutschblock
rutschblock copied to clipboard
decanus
A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+
rutschblock
noun
A wide block of snow that is isolated from the rest of a slope and progressively loaded in order to judge stability and the risk of avalanche.
A TLA+ implementation of the Avalanche Consensus Protocol Family, both for learning Avalanche and TLA+
decanus