GitHub repository: rddl-network/REPs
Description: RDDL Enhancements Proposals