We have recently launched a little website allowing you to experiment with maximal lotteries, a randomized voting rule proposed by Peter Fishburn in the 80s. The idea is to return lotteries that correspond to maximin strategies of the symmetric zero-sum game given by the pairwise majority margins. Some classic impossibility theorems can be turned into complete characterizations of maximal lotteries by appropriately generalizing the underlying axioms to allow for randomization [1,2,3].
The website can also be used to compute winners of many other common rules.
Enjoy!