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