GitHub repository: Aeren1564/TLE
Primary language: Python
Description: 🤖 Discord Bot for Competitive Programming. This fork is mainly used on Errichtos Discord Server