GitHub repository: sweirich/replib
Primary language: Coq
Description: Replib: generic programming  & Unbound: generic treatment of binders