GitHub repository: reaslab/metalib
Primary language: Lean
Description: A collection of metaprogramming utilities.