प्रोग्रामिंग भाषा · Agda
Agda
ट्रैक की गई वे ओपन सोर्स रिपॉजिटरी जिनकी मुख्य भाषा Agda है, स्टार के हिसाब से क्रमबद्ध।
3 रिपॉजिटरी
- #1plfa.github.io@plfa
Agda में प्रोग्रामिंग भाषा सिद्धांत का परिचय
★ 1,513+0पिछले 7 दिनों में स्टार का बदलाव - #2agda-stdlib@agda
Agda स्टैंडर्ड लाइब्रेरी।
★ 675+0पिछले 7 दिनों में स्टार का बदलाव - #3cubical@agda
Cubical Agda के लिए एक प्रयोगात्मक लाइब्रेरी
★ 567+2पिछले 7 दिनों में स्टार का बदलाव
