GitHub repository: opencompl/C-parsing-for-Lean4
Primary language: Lean
Description: A parser for ANSI C, in Lean4.