GitHub repository: shilangyu/AoC-2023
Primary language: Lean
Description: Advent of code 2023 in Koka and Lean, depending on the compiler's mood