GitHub repository: leanprover/lake
Primary language: Lean
Description: Lean 4 build system and package manager with configuration files written in Lean. **(Merged into Lean 4.)**