GitHub repository: tydeu/lean4-lake
Primary language: Lean
Description: A new build system and package manager for Lean 4 with configuration files written in Lean.