GitHub repository: oipsio/oips
Description: Ordinal Theory Improvement Proposals