Distributions maintained by BARBEE