मालिक · agda
agda
agda की ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
3 रिपॉजिटरी
- #1★ 2,922+3पिछले 7 दिनों में स्टार का बदलाव
- #2
Agda स्टैंडर्ड लाइब्रेरी।
★ 675+0पिछले 7 दिनों में स्टार का बदलाव - #3★ 567+0पिछले 7 दिनों में स्टार का बदलाव
