GitHub repository: yatima-inc/lake
Primary language: Lean
Description: Lean 4 build system and package manager with configuration files written in Lean.