विषय · agda
agda
agda टैग वाली ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
रिपॉजिटरी
3
कुल स्टार
4,164
औसत स्टार
1,388
हिस्सा
0.00%
मिलते-जुलते विषय
वे विषय जो अक्सर एक ही रिपॉजिटरी पर agda के साथ आते हैं।
हाल में उभरे
पिछले 90 दिनों में बनी और agda टैग वाली रिपॉजिटरी।
पिछले 90 दिनों में इस विषय के टैग वाली कोई नई रिपॉजिटरी नहीं आई।
- #1★ 2,922+1पिछले 7 दिनों में स्टार का बदलाव
- #2
Agda स्टैंडर्ड लाइब्रेरी।
★ 675+0पिछले 7 दिनों में स्टार का बदलाव - #3★ 567+1पिछले 7 दिनों में स्टार का बदलाव
