MetaRocq's tracked open-source repos, sorted by stars.
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
