GitHub repository: leanprover-community/quote4
Primary language: Lean
Description: Intuitive, type-safe expression quotations for Lean 4.