GitHub repository: yatima-inc/Cli.lean
Primary language: Lean
Description: A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.