GitHub repository: mathsforces/glide
Primary language: CSS
Description: Focus on what matters instead of fighting with Lean installation.