Core libraries for generating provably fair outcomes