MetaRocq की ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
मेटाप्रोग्रामिंग, सत्यापित मेटा-थ्योरी और Rocq में Rocq का कार्यान्वयन।
