GitHub repository: leanprover/LeanInk
Primary language: Lean
Description: LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.