GitHub repository: pedrosorio/discord_leetcode_bot
Primary language: Python
Description: A discord bot that messages each registered discord server with a local leaderboard and rating change predictions after each leetcode contest