GitHub repository: JLLeitschuh/RankPL
Description: A qualitative probabilistic programming language based on ranking theory