GitHub repository: leanprover/elan
Primary language: Rust
Description: The Lean version manager