GitHub repository: pawelsberg/lean-directory-browser
Primary language: Lean
Description: It is a windows folder explorer written in lean4 (using code-proxy).